Logic for Computer Science - Singh, Arindama (New Delhi Prentice-Hall of India Pvt. Ltd., 2003)
Keywords: Mathematics