Logics for Computer Science - Singh, Arindama . (New Delhi : Prentice Hall of India Private Limited, 2003)
Keywords: Fundamentals of Computer Science