Title: Godel's theorem simplified
First published: 1984
Subjects: Gödel's theorem, Goedel's theorem
LC classification: QA9.65 .G46 1984