000			01542nam a2200265 a 4500
001			vtls000046779
003			KUKTEM
005			20260904092832.0
008			100701t2010 njua f 001 0 eng d
020			_a9780470392164
039		9	_a201107140013 _bVLOAD _c201106091439 _dFida _c201106091259 _dtraining _y201007011426 _zfaiz
040			_aUMP
090			_aQA9.54 .S65 2010
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			_bHoboken, N.J. : _bWiley, _cc2010
300			_axviii, 301 p. : _bill. ; _c23 cm.
504			_aIncludes bibliographical references and index
505			_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			_aProof theory _vTextbooks
650			_aLogic, Symbolic and mathematical _vTextbooks
999			_aVIRTUA40 _c55568 _d55574
999			_aVTLSSORT0080*0200*0400*0900*1000*2450*2500*2600*3000*5040*5050*6500*6501*9991
942	0	0	_01