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).