TY  - BOOK
AU  - Harrison J
TI  - Handbook of Practical Logic and Automated Reasoning
SN  - 9780521899574
PY  - 2009///
PB  - Cambridge University Press
KW  - Computer Science
KW  - Practical Logic
KW  - Reasoning
ER  -