000 00263nam a2200121Ia 4500
001 77804
008 170722s9999 xx 000 0 und d
100 _aNagel, Ernest
245 _aGodel's proof /
260 _c1964.
700 _aNewman, James R.
942 _cGEN
999 _c74587
_d74587