Logics for Computer Science - SINGH (ARINDMA) (New Delhi PHI)