000			00335nam a2200121Ia 4500
100			_aHoare, C.A.R. ; Shepherdson, J.C. ed.
020			_a0-13-561465-1
942			_cBK
245			_aMathematical logic and programming languages
260			_aPrentice-hall international, New Jersey _c1985
082			_a001.6424 Hoa/she
300			_a184p
999			_c14705 _d14705