TY  - BOOK
AU  - Solow,Daniel
TI  - How to read and do proofs: an introduction to mathematical thought processes 
SN  - 9780470392164 (pbk.)
AV  - QA9.54 .S65 2010
U1  - 511.3 SOL/How 22
PY  - 2010///
CY  - Hoboken, N.J.
PB  - Wiley
KW  - Proof theory
KW  - Textbooks
KW  - Logic, Symbolic and mathematical
N1  - 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
ER  -