Sentences undecidable in formalized arithmetic
Subtitle: an exposition of the theory of Kurt Gödel
By: Andrzej Mostowski.
Series: Studies in logic and the foundations of mathematics.
Publisher: Greenwood Press
Published: 1982
Place of publication: Westport, Conn
Language: eng
Number of pages: 117
Subjects: Gödel's theorem.
Notes: Bibliography: p. [116]-117.
Reprint. Originally published: Amsterdam : North-Holland Pub. Co., 1952. (Studies in logic and the foundations of mathematics)
Includes index.