Proof, Sets, and Logic
by M. Randall Holmes
Publisher: Boise State University 2009
Number of pages: 207
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:
by 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.
by Michael Makkai - 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.
by 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.
by 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.