Mathematical proofs : a transition to advanced mathematics /
Chartrand, Gary.
Polimeni, Albert D.,1938-
Zhang, Ping,1957-
Boston, Mass. ; London : Pearson/Addison Wesley,
c2008.
Includes bibliographical references (p. 357) and indexes.
Proof theory
Mathematical proofs.