000			00513nam a2200169Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780130654878 _c(hbk)
082			_223 _a005.131 _bHAM
100			_aHamburger, Henry
245		0	_aLogic and language models for computer science
260			_aNew Jersey: _bPrentice Hall, _c2002
300			_a341 p.; _bIndex.: _c24 cm.
650			_aComputer science
650			_aLogic and language models for computer science
700			_aRichards, Dana
942			_2ddc _cBK
999			_c11738 _d11738