TY - BOOK AU - Smullyan Raymond M TI - Godel's incompleteness theorems SN - 0-19-504672-2 U1 - 511.3 PY - 1992/// CY - Calcutta PB - Oxford University Press KW - Godel's theorem KW - Mathematical logic ER -