000 00429nam a2200133Ia 4500
008 211214s9999 xx 000 0 und d
040 _cJayakar Knowledge Resource Centre
100 _aMostowski, Andrzej
245 0 _aSentences undecidable in formalized arithmetic: an exposition of the theory of kurt godel
260 _bNORTH-HOLLAND PUB-CO
_aAMSTERDAM
_c1957
300 _aVIII, 117p p.
653 _aMATHEMATICS
942 _c1
999 _c55344
_d55344