Godel's theorem in focus - Shanker, Stuart (London Croom Helm, 1988)
Keywords: Godel's theorem