000 00550nam a2200229Ia 4500
003 OSt
005 20220918190020.0
006 a|||||r|||| 00| 0
007 ta
008 220917b |||||||| |||| 00| 0 eng d
024 _a54,059
037 _cTextual
040 _aARTS
_cARTS
_beng
041 _2eng
_aeng
082 _aR14, J91
100 _aNagel Ernest
245 0 _aGodel's proof
260 _c1959
700 _a Newman james R
942 _hR14, J91
_cTEXL
_2CC
999 _c183066
_d183066