Chartrand, Gary. Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang. - 2nd ed. - Boston : Pearson/Addison Wesley, 2008. - xv, 365 p. ; 25 cm. Includes bibliographical references (p. 357) and indexes. ISBN: 0321390539 9780321390530 9780321526731 0321526732 Subjects--Topical Terms: Proof theory--Textbooks. LC Class. No.: QA9.54 Dewey Class. No.: 511.3/6