Title: Gödel's incompleteness theorems
First published: 1992
Subjects: Gödel's theorem, Logic, symbolic and mathematical
LC classification: QA9.65 .S69 1992