TY - BOOK AU - Goldstern,Martin AU - Judah,Haim TI - The incompleteness phenomenon: a new course in mathematical logic SN - 1568810296 PY - 1995/// CY - Wellesley, MA PB - A K Peters KW - Incompleteness theorems ER -