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