000 | 00506nam a2200193Ia 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(a) _cS.M. Srivastava |
||
260 |
_aNew York _bSpringer _c2008 |
||
300 | _a140p. | ||
650 | _aMATHEMATICAL LOGIC | ||
650 | _aPROPOSITIONAL LOGIC | ||
650 | _aRECURSIVE FUNCTIONS | ||
942 | _cBK | ||
999 |
_c7291 _d7291 |