Sentences undecidable in formalized arithmetic
Subtitle: an exposition of the theory of Kurt Gödel
By: Andrzej Mostowski.
Contributors: Brouwer, L. E. J.; Beth, Evert Willem.; Heyting, Arend.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1952
Place of publication: Amsterdam
Language: eng
Number of pages: 117
Subjects: Logic, Symbolic and mathematical.; Semantics (Philosophy); Gödel's theorem.
Notes: Previous edition 1952.

Includes bibliography.