Logo

Proof, Sets, and Logic by M. Randall Holmes

Small book cover: Proof, Sets, and Logic

Proof, Sets, and Logic
by

Publisher: Boise State University
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.

Home page url

Download or read it online for free here:
Download link
(750KB, PDF)

Similar books

Book cover: Descriptive Set TheoryDescriptive Set Theory
by - 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.
(13605 views)
Book cover: Elementary Set Theory with a Universal SetElementary Set Theory with a Universal Set
by
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.
(12117 views)
Book cover: Notes on Set TheoryNotes on Set Theory
by - 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.
(13155 views)
Book cover: Descriptive Set TheoryDescriptive Set Theory
by - University of Illinois at Chicago
These are informal notes for a course in Descriptive Set Theory. While I hope to give a fairly broad survey of the subject we will be concentrating on problems about group actions, particularly those motivated by Vaught's conjecture.
(9744 views)