TY  - BOOK
AU  - "Singh, Arindama"
TI  - Logics for Computer Science
SN  - 8120322843
CY  - Phi Learning Pvt Ltd 
N1  - includes index and biblioraphy
ER  -