Singh,A Logics for Computer Science [Book]. - P.H.I All. ISBN: 8120322843 Subjects--Topical Terms: Logics for Computer Science