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.
Additional information
Weight
0.72 kg
Product Properties
Year of Publication
2008
Table of Contents
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
Author
Rosser
ISBN/ISSN
9780486468983
Binding
Paperback
Edition
1
Publisher
DOVER
Reviews
There are no reviews yet.
Be the first to review “Logic for Mathematicians” Cancel reply
Reviews
There are no reviews yet.