TY  - BOOK
AU  - Huth, Michael
AU  - RYAN, MARK
TI  - Logic In Computer Science: Modelling And Reasoning About Systems
U1  -  HUT 
CY  - NEW DELHI
KW  - Computers Engineering
ER  -