TY  - BOOK
AU  - HUTH MICHALE 
TI  - LOGIC IN COMPUTER SCIENCE MODELING AND REASONING ABOUT SYSTEMS 
SN  - 9780521670890
U1  - 005.101 
PY  - 2004///
CY  - NEW DELHI 
PB  - CUP 
ER  -