TY  - BOOK
AU  - HUTH AND RYAN
TI  - LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
SN  - 9.78E+12
U1  - 005.115 HUT 
PB  - CAMBRIDGE
ER  -