Chartrand Gary Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang. - Boston : Addison Wesley, 2003. - xiii, 289 p. : ill. ; 25 cm. Includes bibliographical references (p. 281) and indexes. ISBN: 0201710900 Subjects--Topical Terms: Proof theory LC Class. No.: QA9.54 Dewey Class. No.: 511.3