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