Proof, Sets, and Logic
by M. Randall Holmes
Publisher: Boise State University 2009
Number of pages: 207
Description:
This textbook is intended to communicate something about proof, sets, and logic. It is about the foundations of mathematics, a subject which results when mathematicians examine the subject matter and the practice of their own subject very carefully.
Download or read it online for free here:
Download link
(750KB, PDF)
Similar books
Axiomatic Set Theory Iby A. C. Walczak-Typke
From the table of contents: Learning to Speak; The Axioms of Set Theory; Orders and Ordinals; Cardinal Numbers; The Axiom of Regularity; Some Consistency Results; Goedel's Constructible Universe L; Independence of AC from ZFU; Forcing.
(9891 views)
An Introduction to Set Theoryby William A. R. Weiss - University of Toronto
These notes for a graduate course in set theory cover the axioms of set theory, the natural numbers, the ordinal numbers, relations and orderings, cardinality, the real numbers, the universe, reflection, elementary submodels, and constructibility.
(19694 views)
Notes on Set Theoryby Michael Makkai - McGill University
Contents: Sets and classes; The universe of pure sets; Further principles of set-construction; Natural numbers and ordinals; Well-founded Relations and recursion; Indexing by ordinals and the axiom of choice; Well-orderings; Zorn's lema; etc.
(13644 views)
Sets, Groups and Knotsby Curtis T. McMullen - Harvard University
Introduction to conceptual and axiomatic mathematics, the writing of proofs, mathematical culture, with sets, groups and knots as topics. From the table of contents: Introduction; Set Theory; Group Theory; Knot Theory; Summary.
(9687 views)