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
Abstract Set Theoryby Thoralf A. Skolem - 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.
(13882 views)
Sets, Relations, Functionsby 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.
(18653 views)
Sets, Groups and Knotsby Curtis T. McMullen - 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.
(9653 views)
Axiomatic Set Theory Iby 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.
(9854 views)