000			01527 a2200229 4500
999			_c54691 _d54691
008			210331b ||||| |||| 00| 0 eng d
020			_a9781108439534
082			_a511.3 _bVEL
100			_aVelleman, Daniel J.
245			_aHow to prove it: a structured approach
250			_a3rd ed.
260			_bCambridge University Press, _c2019. _aCambridge,
300			_axii, 458 p. : ill. ; _bpb, _c23 cm.
365			_aGBP _b29.99
504			_aIncludes bibliographical references and index.
520			_aMany students have trouble the first time they take a mathematics course in which proofs play a significant role. This book will prepare students for such courses by teaching them techniques for writing and reading proofs. No background beyond high school mathematics is assumed. The book begins with logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. This understanding of the language of mathematics serves as the basis for a detailed discussion of the most important techniques used in proofs, when and how to use them, and how they are combined to produce complex proofs. Material on the natural numbers, relations, functions, and infinite sets provides practice in writing and reading proofs, as well as supplying background that will be valuable in most theoretical mathematics courses.
650			_aLogic, Symbolic and mathematical
650			_aMathematics
650			_aProof theory
650			_aGeneral principles of mathematics
942			_2ddc _cTD