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 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.
by Edward V. Huntington - Dover Publications
This classic of mathematics presents the best systematic elementary account of the modern theory of the continuum as a type of serial order. Based on the Dedekind-Cantor ordinal theory, it requires no knowledge of higher mathematics.
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 Randall Holmes
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.