Godel's incompleteness theorems - Smullyan Raymond M (Calcutta Oxford University Press, 1992)
Keywords: Godel's theorem; Mathematical logic