TY - BOOK AU - Goldstern Martin AU - Judah Haim TI - Incompleteness phenomenon: a new course in mathematical logic SN - 1-56881-093-8 U1 - 511.3 PY - 1998/// CY - Natick PB - A K Peters KW - Incompleteness theorems ER -