Sentences undecidable in formalized arithmetic
Subtitle: an exposition of the theory of Kurt Gödel.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1964
Place of publication: Amsterdam
Language: eng
Number of pages: 117
Subjects: Gödel, Kurt; Logic, Symbolic and mathematical; Semantics (Philosophy)
Notes: Includes bibliographical references.