000			00564 a2200265 4500
001			1009385
020			_a0-262-04142-1
041			_aeng
080			_a681.3.06Doe
245			_aFrom logic to logic programming
250			_a
260			_aCambridge
260			_bMIT Press
260			_c1994
300			_axii,214 p.
300			_c23.5 cm
490			_aFoundations of computing series
100			_aDoets, Kees
700			_a
650			_a
650			_aComputer science and engineering
650			_aLogic programming
942			_cBK
942			_2UDC
999			_c39685 _d39685