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

**Elementary Set Theory with a Universal Set**

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.

(

**11638**views)

**Notes on Set Theory**

by

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

(

**12740**views)

**Descriptive Set Theory**

by

**Yiannis N. Moschovakis**-

**American Mathematical Society**

This monograph develops Descriptive Set Theory from its classical roots to the modern 'effective' theory. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results established since the 1980s.

(

**13041**views)

**Sets, Relations, Functions**

by

**Ivo Düntsch, Günther Gediga**-

**Methodos Publishers (UK)**

Introduction to the set theoretic tools for anyone who comes into contact with modern Mathematics. The intended audience are students of any subject or practitioners who need some knowledge of set operations and related topics.

(

**17505**views)