A transition to abstract mathematics mathematical thinking and writing

Bibliographic Details
Main Author:	Maddox, Randall B.
Format:	Book
Published:	Burlington, Mass. Elsevier/Academic Press c2009.
Edition:	2nd ed.
Subjects:	Proof theory. Logic, Symbolic and mathematical.