000 00450nam a22001817a 4500
005 20231211153242.0
008 231211b |||||||| |||| 00| 0 eng d
020 _a9780486425337
_c2077.83
040 _aMAIN
041 _aEnglish
082 _a511.3
_bKLE
100 _aKleene, Stephen Cole
_920791
245 _aMathematical logic
260 _aNew York
_bDover Publications
_c2002
300 _a398
650 _aMathematics
_9133
942 _cBK
999 _c55969
_d55969