000			02343cam a22003978i 4500
001			21616046
003			OSt
005			20220106022507.0
008			200711s2020 flu b 001 0 eng
010			_a 2020027997
020			_a9780367536930 _q(hardback)
020			_a9780367536817 _q(paperback)
020			_z9781003082927 _q(ebook)
040			_aLBSOR/DLC _beng _erda _cDLC
042			_apcc
050	0	0	_aQA9.54 _b.K57 2020
082	0	0	_a511.3/6 _223
100	1		_aKirtland, Joseph _c(Mathematics professor), _eauthor.
245	1	0	_aProofs 101 : _ban introduction to formal mathematics / _cJoseph Kirtland.
250			_aFirst edition.
263			_a2012
264		1	_aBoca Raton : _bC&H/CRC Press, _c2020.
300			_apages cm
336			_atext _btxt _2rdacontent
337			_aunmediated _bn _2rdamedia
338			_avolume _bnc _2rdacarrier
504			_aIncludes bibliographical references and index.
505	0		_aLogic -- Proof techniques -- Sets -- Proof by mathematical induction -- Relations -- Functions -- Cardinality of sets -- Conclusion -- Hints and solutions.
520			_a"Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and Linear Algebra. It prepares students for the proofs they will need to analyse and write, the axiomatic nature of mathematics, and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses A balanced variety of easy, moderate, and difficult exercises"-- _cProvided by publisher.
650		0	_aProof theory.
650		0	_aLogic, Symbolic and mathematical.
776	0	8	_iOnline version: _aKirtland, Joseph (Mathematics professor) _tProofs 101. _bFirst edition _dBoca Raton : C&H/CRC Press, 2020 _z9781003082927 _w(DLC) 2020027998
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK
999			_c449305 _d449305