000 00869nam a2200301Ia 4500
003 OSt
005 20220912145012.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
020 _a9780387762753 (pbk)
024 _a84207
037 _b1426, 30/07/2009, Channel Publications
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R1), P8
100 _aSrivastava S M
245 0 _aCourse on mathematical logic
260 _aNew York
_bSpringer
_c2008
300 _ax, 140p.
_ccm.
500 _a''References 135-p''.; ''Index 137-140p''.
650 _a First-order languages
650 _a Propositional logic
650 _aMathematics
942 _hB:(R1), P8
_cTEXL
_2CC
999 _c20607
_d20607