TY  - GEN
AU  - Caferra, Ricardo.
TI  - Logic for computer science and artificial intelligence
SN  - 9781848213012
U1  - 006.3 
PY  - 2011///
CY  - U.S
PB  - John Wiley & son, 
KW  - computer science
ER  -