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