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
Set Theoryby Gary Hardegree - UMass Amherst
From the table of contents: Basic material on set theory - Overview / Summary, Basic Concepts, Relations, Functions, Natural Numbers, Cardinal Numbers; Rules for Derivations; Formal Languages; Mathematical Induction; Brief History of Numeration.
(16647 views)
Axiomatic Set Theoryby Michael Meyling
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.
(13051 views)
Descriptive Set Theoryby David Marker - 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.
(12085 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.
(11590 views)