TY  - GEN
AU  - Harrison,John
TI  - Handbook of practical logic and automated reasoning 
SN  - 9780521899574 (hbk.)
AV  - QA76.9.L63 
U1  - 006.333 
PY  - 2009///
CY  - Cambridge , New York 
PB  - Cambridge University Press
KW  - Computer logic
ER  -