Mathematical proofs : a transition to advanced mathematics /
Chartrand, Gary.
Polimeni, Albert D.,1938-
Zhang, Ping,1957-
Boston, Mass. ; London : Pearson-Addison Wesley,
c2008.
"Pearson International edition"--Cover.
Includes bibliographical references and index.
Proof theory.
Mathematics.