Mathematical proofs a transition to advanced mathematics - Chartrand, Gary; Polimeni, Albert D.; Zhang, Ping. (Boston Pearson Education, Inc., 2003)
Includes bibliographical references (p. 281) and indexes
Keywords: Proof theory