Logic for Mathematicians

by J. Barkley Rosser

Overview

Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." - Bulletin of the American Mathematical Society. 1978 edition.

Product Details

ISBN-13:	9780486468983
Publisher:	Dover Publications
Publication date:	12/18/2008
Series:	Dover Books on Mathematics Series
Edition description:	2nd ed.
Pages:	590
Product dimensions:	6.10(w) x 9.10(h) x 1.30(d)

Table of Contents

Preface
List of Symbols
1. What Is Symbolic Logic?
2. The Statement Calculus
3. The use of Names
4. Axiomatic Treatment of the Statement Calculus
5. Clarification
6. The Restricted Predicate Calculus
7. Equality
8. Descriptions
9. Class Membership
10. Relations and Functions
11. Cardinal Numbers
12. Ordinal Numbers
13. Counting
14. The Axiom of Choice
15. We Rest Our Case
A Proof of the Axiom of Infinity
The Axiom of Counting
The Axiom of Choice
Nonstandard Analysis
Bibliography
Index