Gödel's theorem in focus (Routledge, 1989)