000			00575nam a22002057a 4500
003			OSt
005			20230404115415.0
008			170428b xxu||||| |||| 00| 0 eng d
020			_a9781852333195
040			_aMMU _beng _cMMU _dMMU
050			_aQA9.B3955 2001
100			_aBen Ari Mordechai
245			_aMathematical logic for computer science/ _cMordechai Ben-ARI
250			_a2nd ed.
260			_aLondon: _bPrentice Hall International, _c2001.
300			_axiv,304p.;
500			_aincludes index
650			_acomputer science
942			_2lcc _cLOAN LOAN _e2nd ed.
999			_c27336 _d27335