Logic for Mathematicians

Hailed by theBulletin of the American Mathematical Societyas "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.

PrefaceList of Symbols1. What Is Symbolic Logic?2. The Statement Calculus3. The use of Names4. Axiomatic Treatment of the Statement Calculus5. Clarification6. The Restricted Predicate Calculus7. Equality8. Descriptions9. Class Membership10. Relations and Functions11. Cardinal Numbers12. Ordinal Numbers13. Counting14. The Axiom of Choice15. We Rest Our CaseA Proof of the Axiom of InfinityThe Axiom of CountingThe Axiom of ChoiceNonstandard AnalysisBibliographyIndex