How to read and do proofs : an introduction to mathematical thought processes /
Daniel Solow
- 5th ed.
- Hoboken, N.J. : Wiley, c2010
- xviii, 301 p. : ill. ; 23 cm.
Includes bibliographical references and index
The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers 1: the construction method -- Quantifiers II: the choose method -- Quantifiers III: specialization -- Quantifiers IV: nested quantifiers -- Nots of nots lead to knots -- the contradiction method -- The contrapositive method -- The uniqueness methods -- Induction -- The either/or methods -- The max/min methods -- Summary -- Appendices: Examples of proofs from discrete mathematics ; Examples of proofs from linear algebra ; Examples of proofs from modern algebra ; Examples of proofs from real analysis
9780470392164
Proof theory--Textbooks Logic, Symbolic and mathematical--Textbooks