000			02049nam a2200361 4500
001			OTLid0000395
003			MnU
005			20201105133323.0
006			m o d s
008			180907s2013 mnu o 0 0 eng d
040			_aMnU _beng _cMnU
050		4	_aQA1
050		4	_aQA37.3
100	1		_aMorris, Dave Witte _eauthor
245	0	0	_aProofs and Concepts _bThe Fundamentals of Abstract Mathematics _cDave Morris
264		2	_bOpen Textbook Library
264		1	_bDave Witte Morris, Joy Morris
300			_a1 online resource
490	0		_aOpen textbook library.
505	0		_aPart I. Introduction to Logic and Proofs -- 1. What is Logic? -- 2. Propositional Logic -- 3. Two-Column Proofs -- Part II. Sets and First-Order Logic -- 4. Sets, Subsets, and Predicates -- 5. Operations on Sets -- 6. First-Order Logic -- 7. Quantifier Proofs -- 8. Divisibility and Congruence -- Part III. Other Fundamental Concepts -- 9. Functions -- 10. Cardinality -- 11. Proof by Induction -- 12. Equivalence Relations
520	0		_aThis free undergraduate textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics. It is designed to be the textbook for a bridge course that introduces undergraduates to abstract mathematics, but it is also suitable for independent study by undergraduates (or mathematically mature high-school students), or for use as a very inexpensive supplement to undergraduate courses in any field of abstract mathematics.
542	1		_fAttribution-NonCommercial-ShareAlike
546			_aIn English.
588	0		_aDescription based on online resource
650		0	_aMathematics _vTextbooks
700	1		_aMorris, Joy _eauthor
710	2		_aOpen Textbook Library _edistributor
856	4	0	_uhttps://open.umn.edu/opentextbooks/textbooks/395 _zAccess online version
999			_c19782 _d19782