TY  - GEN
AU  - Harrison, J.
AU  - J. Harrison
TI  - Handbook of practical logic and automated reasoning
SN  - 9780521899574
U1  - 006.333 
PY  - 2009///
CY  - New York
PB  - Cambridge University Press
KW  - Computer logic
ER  -