000 | 00487nam a2200181Ia 4500 | ||
---|---|---|---|
999 |
_c17997 _d17997 |
||
005 | 20220209120439.0 | ||
008 | 180712s9999 xx 000 0 und d | ||
020 | _a710070780 | ||
082 |
_a160 _bNAG _223 |
||
100 | _aNAGEL, Ernest | ||
100 | _aNewman, James R. | ||
245 |
_aGodel's proof _c/ by Ernest Nagel, James R.Newman |
||
260 |
_aLondon _bRoutledge & Kegan Paul _c1976 |
||
300 | _aix, 117 p. | ||
500 | _aIncludes bibliography & index. | ||
650 | _aLogic | ||
942 | _cS |