TY  - BOOK
AU  - Turner,  Raymond
TI  - Logics for artificial intelligence
U1  - 006.3 T857L 
ER  -