Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
- Amsterdam ; North-Holland, 1952.
- 117 p.: 23 cm.
- Studies in logic and the foundations of mathematics .
Includes bibliography.
52002458 /L/r84
Logic, Symbolic and mathematical. Semantics (Philosophy) Godel's theorem.