Godel's theorem in focus - Shanker S G (London Croom Helm, 1988)
Keywords: Godel's theorem; Mathematical logic