Transition to higher mathematics structure and proof - Dumas, Bob A; McCarthy, John E. (New York, New York McGraw-Hill, 2007)
Keywords: Logic, Symbolic and mathematical -- Textbook