TY  - BOOK
AU  - HUTH AND RYAN
ED  - NO
TI  - LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
SN  - 0-521-67089-6
U1  - 005.115 HUT 
PY  - 2004///
PB  - CAMBRIDGE UNIVERSITY PRESS
ER  -