Sentences undecidable in formalized arithmetic.

Bibliographic Details

Main Author:	Mostowski, Andrzej
Format:	Book
Language:	English
Published:	Amsterdam : North-Holland Pub. Co., 1952.
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Logic, Symbolic and mathematical. Semantics (Philosophy) Gödel's theorem.