Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /

Bibliographic Details

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Mostowski, Andrzej
Format:	eBook
Language:	English
Published:	Dordrecht : Elsevier Science, 1952.
Series:	Studies in logic and the foundations of mathematics ; v. 10.
Subjects:	Logic, Symbolic and mathematical. Semantics (Philosophy) Gödel's theorem. Logique symbolique et mathématique. Sémantique (Philosophie) Théorème de Gödel. Gödel's theorem Logic, Symbolic and mathematical Electronic books.
Online Access:	Connect to the full text of this electronic book