Tools

LEADER 01251cam a22003491 4500

001 ocm00373243;

005 20141212083018.0;

008 840502s1952 ne b 000 0 eng ;

010 a| 52002458;

019 a| 1017695a| 2068672;

035 a| (Sirsi) o00373243;

035 a| (OCoLC)373243;

049 a| EREE;

050 00 a| BC135b| .M6;

100 1 a| Mostowski, Andrzej.=| ^A270557;

245 10 a| Sentences undecidable in formalized arithmetic ;b| an exposition of the theory of Kurt Gödel.;

260 a| Amsterdam :b| North-Holland Pub. Co.,c| 1952.;

300 a| viii, 117 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics;

504 a| Includes bibliography.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Semantics (Philosophy)=| ^A7663;

650 0 a| Gödel's theorem.=| ^A207978;

830 0 a| Studies in logic and the foundations of mathematics.=| ^A16526;

919 a| BOOK;

596 a| 1;

998 a| 389027;

999 a| BC135 .M6w| LCc| 1i| 30372005875114d| 5/5/2009f| 4/22/2009g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 7/5/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Sentences undecidable in formalized arithmetic ; an exposition of the theory of Kurt Gödel.

Author/creator	Mostowski, Andrzej
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co., 1952.
Description	viii, 117 pages ; 23 cm.
Subjects	Logic, Symbolic and mathematical. Semantics (Philosophy) Gödel's theorem.

Series	Studies in logic and the foundations of mathematics Studies in logic and the foundations of mathematics. ^A16526
Bibliography note	Includes bibliography.
LCCN	52002458

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	BC135 .M6	✔ Available	Place Hold

Click here for more information about this title