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 |