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.
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.
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
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
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
