Mathematical reasoning : writing and proof /
Sundstrom, Theodore A.
Upper Saddle River, N.J. : Pearson Prentice Hall,
c2007.
Includes index.
Proof theory.