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