000 00731nam a2200253Ia 4500
003 OSt
005 20220926024835.0
006 a|||||r|||| 00| 0
007 ta
008 220923b |||||||| |||| 00| 0 eng d
037 _cGeneral Book
040 _aRTL
_cRTL
_beng
041 _2eng
_aeng
082 _aD6,9(B), M8
100 _aGibbins Peter
_9331527
245 0 _aLogic with prolog
260 _aOxford
_bClarendon Press
_c1988
300 _axiv,321p
_ccm.
490 _aOxgord Applied Mathematics and computing science series
500 _aBibliography P 312-14; Glossary P 293-96
650 _aComputer Science
942 _hD6,9(B), M8
_cGB
_2CC
999 _c645638
_d645638