Gödel's theorem in focus (Croom Helm, 1988)