TY  - BOOK
AU  - Hutch, Michael
TI  - Logic in Computer Science Modeling & Reasoning Abortsy
SN  - 0-5216-7089-0
PY  - 2007///
PB  - Cambridge uni. Press
KW  - Computer & IT
N2  - Engineering
ER  -