000 00376nam a2200133 a 4500
005 20240602103945.0
008 040318s19uu xx 00 eng d
100 _aKleene, Stephen Cole.
245 _aMathematical logic /
_cStephen Cole Kleene.
260 _aNew York :
_bWiley,
_cc1967.
300 _axiii, 398 p.
650 _aLogic, Symbolic and mathematical.
942 _2ddc
999 _c83430
_d83430