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: Sets, Groups and KnotsSets, Groups and Knots
by - Harvard University
Introduction to conceptual and axiomatic mathematics, the writing of proofs, mathematical culture, with sets, groups and knots as topics. From the table of contents: Introduction; Set Theory; Group Theory; Knot Theory; Summary.
(8655 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.
(11484 views)
Book cover: Axiomatic Set TheoryAxiomatic Set Theory
by
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.
(10045 views)
Book cover: Axiomatic Set Theory IAxiomatic Set Theory I
by
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.
(8752 views)