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