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: Abstract Set TheoryAbstract Set Theory
by - University of Notre Dame
The book contains a series of lectures on abstract set theory given at the University of Notre Dame. After some historical remarks the chief ideas of the naive set theory are explained. Then the axiomatic theory of Zermelo-Fraenkel is developed.
(12503 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.
(8351 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.
(12264 views)
Book cover: An Introduction to Set TheoryAn Introduction to Set Theory
by - 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.
(18103 views)