TY  - BOOK
AU  - Huth Michael & Mark Ryan
TI  - Logic in Computer Science
SN  - 978-0-521-67089-0
CY  - South Asia
KW  - M.TECH
ER  -