TY  - BOOK
AU  - Lloyd.J.W. Ed.
TI  - Computational Logic
U1  - 001.6424 
PY  - 1990///
PB  - Springar Verlag
KW  - COMP
KW  - F-14
ER  -