000			00622nam a2200241Ia 4500
003			OSt
005			20230825155324.0
008			210323s9999||||xx |||||||||||||| ||und||
020			_a9780199548743
040			_cSTCPL
041			_aENG
082			_a511.3 _bIAN-M
100			_aChiswell, Ian
100			_aHodges, Wilfrid
245		0	_aMathematical logic / _cby Ian Chiswell and Wilfrid Hodges
260			_aNew York : _bOxfird University press , _c2008 .
300			_a250 p. _bPB
650			_aPropositional logic
650			_aPrelude
650			_aInformal natural deduction
942			_cBK
942			_2ddc
999			_c57876 _d57876