Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Mostowski, Andrzej.
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski. - Amsterdam : North-Holland, 1964 - 117 p. ; 22 cm. - Studies in logic and the foundations of mathematics .
Bibliography: p. 116-117.
Logic, Symbolic and mathematical.
Semantics (Philosophy).
511.3 / MOS 1964
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski. - Amsterdam : North-Holland, 1964 - 117 p. ; 22 cm. - Studies in logic and the foundations of mathematics .
Bibliography: p. 116-117.
Logic, Symbolic and mathematical.
Semantics (Philosophy).
511.3 / MOS 1964