TY  - BOOK
AU  - Turner, Raymond
TI  - Logics for artificial intelligence
SN  - 0-85312-713-1
U1  - 001.535 Tur 
PY  - 1985///
CY  - Ellis Horwood, Chichester
KW  - Computer Science
ER  -