Proof, Sets, and Logic
by M. Randall Holmes
Publisher: Boise State University 2009
Number of pages: 207
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.
Home page url
Download or read it online for free here:
by Thoralf A. Skolem - University of Notre Dame
The book contains a series of lectures on abstract set theory given at the University of Notre Dame. After some historical remarks the chief ideas of the naive set theory are explained. Then the axiomatic theory of Zermelo-Fraenkel is developed.
by 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.
by Edward V. Huntington - Dover Publications
This classic of mathematics presents the best systematic elementary account of the modern theory of the continuum as a type of serial order. Based on the Dedekind-Cantor ordinal theory, it requires no knowledge of higher mathematics.
by 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.