TY  - BOOK
AU  - Gibbins Peter
TI  - Logic with prolog
T2  - Oxgord Applied Mathematics and computing science series
U1  - D6,9(B), M8 
PY  - 1988///
CY  - Oxford
PB  - Clarendon Press         
KW  - Computer Science
N1  - Bibliography P 312-14; Glossary P 293-96
ER  -