Logics for computer science - Singh, Arindama (New Delhi Prentice-Hall of India Private Limited, 2003)
Keywords: Computer logic; Logic, Symbolic and mathematical