000			00540nam a22001817a 4500
020			_a9788181283443
041			_aeng
082			_a511.3 BEN
100			_aBen- Ari, Mordechai
245	1	0	_aMathematical logic for computer science / _cMordechai Ben- Ari
250			_a2nd Ed.,
260			_c2003. _bSpringer, _aVerlag :
300			_a304 p. ; _c24 cm.
500			_aIncludes index.
650			_aThe Origins of Mathematical Logic
650			_aLogic, Symbolic and mathematical.
650			_aComputer science -- Mathematics.
999			_c456788 _d456723