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 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 Gary Hardegree - UMass Amherst
From the table of contents: Basic material on set theory - Overview / Summary, Basic Concepts, Relations, Functions, Natural Numbers, Cardinal Numbers; Rules for Derivations; Formal Languages; Mathematical Induction; Brief History of Numeration.
by Randall Holmes
From the table of contents: The Set Concept; Boolean Operations on Sets; Building Finite Structures; The Theory of Relations; Sentences and Sets; Stratified Comprehension; Philosophical Interlude; Equivalence and Order; Introducing Functions; etc.
by Michael Meyling
This document contains the mathematical foundation of set theory. Goal is the presentation of elementary results which are needed in other disciplines. Although the presentation is axiomatic the results shall match the mathematical usage.