000 | 00617nam a2200241Ia 4500 | ||
---|---|---|---|
008 | 140908s9999 xx 000 0 und d | ||
020 | _a9780199548743 | ||
040 | _aNISER LIBRARY | ||
041 | _aEnglish | ||
082 |
_a510.6 _bCHI-M |
||
100 | _aChiswell, I | ||
245 |
_aMathematical logic _cIan Chiswell and Wilfrid Hodges |
||
260 |
_aOxford _bOUP _c2008 |
||
300 | _a250p. | ||
440 | _aOxford text in logic 3 | ||
500 | _aRef. sec | ||
650 | _aFIRST-ORDER THEORY | ||
650 | _aLOGICAL EQUIVALENCE | ||
650 | _aMATHEMATICS | ||
650 | _aTRUTH TABLE | ||
700 |
_aHodges, W _4Auth. |
||
942 | _cBK | ||
999 |
_c2505 _d2505 |