Singh, Arindama Logics for computer science - NEW DELHI PRENTICE HALL OF INDIA 2003 - IX,369P ISBN: 81-203-2284-3 Subjects--Topical Terms: LOGIC FOR COMPUTER SCIENCE Dewey Class. No.: 005.1 SIN