| Record ID | ia:logicwithprolog0000gibb |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/logicwithprolog0000gibb/logicwithprolog0000gibb_marc.xml |
| Download MARC binary | https://www.archive.org/download/logicwithprolog0000gibb/logicwithprolog0000gibb_meta.mrc |
LEADER: 01003cam 22003010a 4500
001 0116300330689
008 890711s1988 enk a b 11 eng d
010 $a 88025287
020 $a0198596596 (pbk.) :$c$22.50
021 $a0198596715 :$c$60.00
035 $a(Sirsi) AAC-8590
035 $a11828743.C..
035 0 $aA885973$fcc
040 $aOPET$beng
046 $aDLC$cDLC
050 00 $aQA76.73.P76$bG53 1988
082 0 $a005.13/3$z19
090 0 $aQA 76.73 .P76 G53 1988$bb
100 1 $aGibbins, Peter.
245 10 $aLogic with prolog /$cPeter Gibbins. --
260 $aOxford [Eng.] :$bClarendon Press ;$aNew York :$bOxford University Press,$c1988.
300 $axiv, 321 p. :$bill. ;$c23 cm. --
490 1 $aOxford applied mathematics and computing science series
500 $aIncludes index.
504 $aBibliography: p. [310]-314.
650 0 $aLogic programming.
650 0 $aProlog (Computer program language)
830 0 $aOxford applied mathematics and computing science series.