Logics for computer science - Singh Arindama (New Dehli: Prentice Hall of India, 2003)
Includes references and index.