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