TY  - BOOK
AU  - HUTCH MICHAEL;RYAN MARK
TI  - LOGIC IN COMPUTER SCIENCE MODELING AND REASONING ABOUT SYSTEMS
SN  - 978051670840
U1  - 4 
PY  - 2008///
CY  - NEWYORK
PB  - TAYLOR AND FRANCIS
KW  - "Computer ScIence,Data Processing"
ER  -