Godel's Theorem in Focus - S.G. Shanker (Taylor and Francis, 1988)