| Record ID | ia:sentencesundecid0000most |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/sentencesundecid0000most/sentencesundecid0000most_marc.xml |
| Download MARC binary | https://www.archive.org/download/sentencesundecid0000most/sentencesundecid0000most_meta.mrc |
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)