000			01710cam a2200313 a 4500
001			15972461
005			20120612110020.0
008			091104s2010 njua b 001 0 eng
010			_a 2009043723
015			_aGBA974217 _2bnb
016	7		_a015336812 _2Uk
020			_a9780470392164 (pbk.)
020			_a0470392169 (pbk.)
035			_a(OCoLC)ocn319498794
040			_aDLC _cDLC _dBTCTA _dYDXCP _dC#P _dCDX _dUKM _dSGB _dDLC
050	0	0	_aQA9.54 _b.S65 2010
082	0	0	_a511.3 SOL/How _222
100	1		_aSolow, Daniel.
245	1	0	_aHow to read and do proofs : _ban introduction to mathematical thought processes / _cDaniel Solow.
250			_a5th ed.
260			_aHoboken, N.J. : _bWiley, _c2010.
300			_axviii, 301 p. : _bill. ; _c23 cm.
504			_aIncludes bibliographical references and index.
505	0		_aThe 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.
650		0	_aProof theory _vTextbooks.
650		0	_aLogic, Symbolic and mathematical _vTextbooks.
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
955			_bxh00 2009-11-04 _ixh07 2009-11-04 to Dewey _axe10 2010-10-13 1 copy rec'd., to CIP ver.
999			_c109972 _d109972