| Record ID | OpenLibraries-Trent-MARCs/tier2.mrc:3209314:657 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier2.mrc:3209314:657?format=raw |
LEADER: 00657cam 2200217 a 4500
001 0116302115492
008 880701s1952 ne eng d
010 $a 52002458
035 $a(Sirsi) AAR-0225
035 $a75012379.C..
040 $aOPET$beng
046 $cCarP
050 0 $aBC135$b.M6
090 0 $aBC 135 .M6$bb
100 1 $aMostowski, Andrzej.
245 10 $aSentences undecidable in formalized arithmetic :$ban exposition of the theory of Kurt Gödel.
260 $aAmsterdam :$bNorth-Holland Pub. Co.,$c1952.
300 $a117 p. ;$c23 cm.
650 0 $aGödel, Kurt.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aSemantics (Philosophy)