Logics for Computer Science - Arindama Singh (Prentice Hall of India, 2004)