How to read and do proofs : an introduction to mathematical thought processes - Solow, Daniel (New York : John Wiley & Sons, 1990)
Includes index.
Keywords: Logic, Symbolic and mathematical