Logo

Proof, Sets, and Logic by M. Randall Holmes

Small book cover: Proof, Sets, and Logic

Proof, Sets, and Logic
by

Publisher: Boise State University
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.

Home page url

Download or read it online for free here:
Download link
(750KB, PDF)

Similar books

Book cover: The Continuum and Other Types of Serial OrderThe Continuum and Other Types of Serial Order
by - 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.
(5867 views)
Book cover: Set TheorySet Theory
by - 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.
(8757 views)
Book cover: Notes on Set TheoryNotes on Set Theory
by - 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.
(7840 views)
Book cover: Axiomatic Set TheoryAxiomatic Set Theory
by
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.
(4954 views)