How to read and do proofs : an introduction to mathematical thought processes /
Solow, Daniel.
New York ; Chichester : Wiley,
c2002.
Previous ed.: 1990.
Includes bibliographical references and index.
Proof theory.
Logic, Symbolic and mathematical.