000 00593nam a2200229Ia 4500
003 OSt
005 20220912153234.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a321
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:RvN31<-M79, K7
100 _aHeijenoort Lean Van
245 0 _aFrom frege to godel: a source bool in mathematical logic
260 _c1967
300 _ap.
_ccm.
942 _hB:RvN31<-M79, K7
_cTEXL
_2CC
999 _c99581
_d99581