How to read and do proofs an introduction to mathematical thought process
Solow, Daniel.
New York Chichester Wiley
c1982
Includes index
Proof theory.