Mathematical Reasoning Writing and Proof - Sundstrom,Ted; Proof Theory (Upper Saddle River,NJ:Pearson /Prentice Hall, 2007)
Includes index