TY  - BOOK
AU  - HUTH AND RYAN
ED  - NO
TI  - LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
SN  - 9780521670890
U1  - 005.115 HUT 
PY  - 2012///
PB  - CAMBRIDGE
ER  -