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

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.
(11179 views)

by Yiannis N. Moschovakis - American Mathematical Society
This monograph develops Descriptive Set Theory from its classical roots to the modern 'effective' theory. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results established since the 1980s.
(15840 views)

by 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.
(19931 views)

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.
(10783 views)