000 00563nam a2200229Ia 4500
003 OSt
005 20220928145455.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a80743
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aR14, L7
100 _aBell J L
_9513099
245 0 _cBell J L; Machover M
_aCourse in mathematical logic.
260 _c1977
700 _a Machover M
_9513100
942 _hR14, L7
_cTEXL
_2CC
999 _c833753
_d833753