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


Amsterdam : North-Holland Pub. Company, 1952.

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
BC135 .M6 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .S8 v.17 v.17-21 Off-site
Request
Catholic
Mullen Library stacks
BC6.S9 M91 Available Request
WRLC Shared Collections Facility
BC6.S9 M91 Off-site
Request
Georgetown
Lauinger stacks
BC135 .M6 Available Request
Subjects Gödel's theorem.
Gödelscher Unvollständigkeitssatz.
Konstruierbarkeit (Mathematik)
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Logique.
Mathématiques.
Mengenlehre.
Semantics (Philosophy)
Semantics -- Mathematical models
Semantics -- Mathematical models.
Sémantique (Philosophie)
Sémantique.
Series Studies in logic and the foundations of mathematics.
Description 117 pages ; 23 cm.
Copyright Date 1952.
Notes Includes bibliographical references (pages 116-117).
Also issued online.
Network Numbers (OCoLC)373243
(OCoLC)ocm00373243
WorldCat Search OCLC WorldCat
WorldCat Identities Mostowski, Andrzej.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks