000			01823cam a2200361 a 4500
001			15972461
003			OSt
005			20250828122624.0
008			091104s2010 njua b 001 0 eng
010			_a 2009043723
015			_aGBA974217 _2bnb
016	7		_a015336812 _2Uk
020			_a9781118164020 _qpbk.
020			_a0470392169 _qpbk.
035			_a15972461
035			_a(OCoLC)319498794
040			_aDLC _cIISERB _dDLC
050	0	0	_aQA9.54 _b.S65 2010
082	0	0	_a511.36 So47H6 _223
100	1		_aSolow, Daniel. _932843
245	1	0	_aHow to read and do proofs : _ban introduction to mathematical thought processes / _cDaniel Solow.
250			_a6th ed.
260			_aHoboken, N.J. : _bJohn Wiley, _c2014.
300			_axiv, 319 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. _932844
650		0	_aLogic, Symbolic and mathematical _vTextbooks. _932845
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK
999			_c11022 _d11022