000			00546nam a2200181Ia 4500
008			240925s9999 xx 000 0 und d
020			_a716782014
082			_a005.13 DAV
100			_aDavis ,Ruth E.
245		0	_aTruth, Deduction and Computation: logic and semiantics for computer science
250			_aNA
260			_aNew York: _bComputer Science Press _c,1989.
300			_axiv,369p. _bNA _fPhotocopy
500			_aIncludes Index
600			_aComputer Science
650			_aComputer science, information & general works
942			_cBK
999			_c6365 _d6365