Singh, A Logics for computer sciecnce - New Delhi : Phi Publication, 2003. - ix,369 ISBN: 81-203-2284-3 Subjects--Topical Terms: Computer EngineeringInformation Technology Dewey Class. No.: 004 / SIN