000			00392nam a2200145Ia 4500
008			220217s9999||||xx |||||||||||||| ||und||
020			_a978-81-8128-344-3
082			_a511.3 BEN
100			_aBen Ari, Mordechai
245		0	_aMathematical logic for computer science
250			_a2nd
260			_aSpringar publications _bNew Delhi _c2008
300			_b595
650			_aMATHEMATICS
999			_c176317 _d176317