A transition to abstract mathematics mathematical thinking and writing - Maddox, Randall B.; Maddox, Randall B. (Burlington, Mass. Elsevier/Academic Press, 2009)
Rev. ed. of: Mathematical thinking and writing / Randall B. Maddox. c2002.
Includes index.
Keywords: Proof theory; Logic, Symbolic and mathematical