000 00629nam a2200241Ia 4500
003 OSt
005 20220928111949.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a42820
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aR1xN06, J8
100 _aNagel Ernest
_9425645
245 0 _aGodel's proof.
260 _aLondon
_bRoutledge
_c1958
300 _aix,118p.
_ccm.
700 _a Newman James R
_9425646
942 _hR1xN06, J8
_cTEXL
_2CC
999 _c742674
_d742674