TY  - BOOK
AU  - MICHEL HUTH
TI  - LOGIC IN COMPUTER SCIENCE
U1  - 4 
PB  - CAMBRIDGE
ER  -