TY  - GEN
AU  - Caferra,  Ricardo 
TI  - Logic for computer science and artificial intelligence 
SN  - 9781848213012
PY  - 2011///
CY  - London
PB  - ISTE
KW  - Computer logic
KW  - Artificial intelligence
KW  - First order logic-predicate logic
ER  -