000 00572nam a2200217Ia 4500
008 140908s9999 xx 000 0 und d
020 _a9780387762753
040 _aNISER LIBRARY
041 _aEnglish
082 _a510.6
_bSRI-C
100 _aSrivastava, SM
245 _aCourse on mathematical logic
_cS.M. Srivastava
260 _aNew Work
_bSpringer
_c2008
300 _a140p.
440 _aUniversitytext
650 _aARITHMETICAL SETS
650 _aINCOMPLETENESS THEOREM
650 _aMATHEMATICAL LOGIC
650 _aPROPOSITIONAL LOGIC
942 _cBK
999 _c7929
_d7929