Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. 1978 edition.
Reprint of the McGraw-Hill Book Company, New York, 1953 edition.

See Sample Pages! Click here to look inside this book.

Table of Contents for Logic for Mathematicians
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

Join the Dover Family | Track Your Order | Your Account | Shipping Rates and Policies | Returns | Customer Service | Free Samples | About Dover | Privacy Notice | Terms of Use | Join Our Staff | Free Catalogs