Loading…

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /

Bibliographic Details
Call Number:	Libro Electrónico
Other Authors:	Mostowski, Andrzej
Format:	Electronic eBook
Language:	Inglés
Published:	Dordrecht : Elsevier Science, 1952.
Series:	Studies in logic and the foundations of mathematics ; v. 10.
Subjects:	Logic, Symbolic and mathematical. Semantics (Philosophy) G�odel's theorem. Logique symbolique et math�ematique. S�emantique (Philosophie) Th�eor�eme de G�odel.
Online Access:	Texto completo Texto completo Texto completo

Texto completo
Texto completo
Texto completo

Falló la conexión al servidor.

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&#xFFFD;odel /