TY  - BOOK
AU  - HARRISON
TI  - HANDBOOK OF PRACTICAL LOGIC AND AUTOMATED REASONING
SN  - 9.78E+12
U1  - 006.33 HAR 
PB  - CAMBRIDGE UNIVERSITY
ER  -