Singh, Arindama Logic for computer science - PHI 2003 - 369 Standard No.: 107368 Subjects--Index Terms: Logic for computer science