**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

**The Continuum and Other Types of Serial Order**

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.

(

**7408**views)

**Axiomatic Set Theory**

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.

(

**5654**views)

**An Introduction to Set Theory**

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.

(

**14566**views)

**Axiomatic Set Theory I**

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.

(

**5064**views)