J Barkley Rosser, Mathematics

Logic for Mathematicians

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Dover Publications
• 2nd edition
• Seitenzahl: 590
• Erscheinungstermin: 18. Dezember 2008
• Englisch
• Abmessung: 231mm x 155mm x 30mm
• Gewicht: 726g
• ISBN-13: 9780486468983
• ISBN-10: 0486468984
• Artikelnr.: 24622389

Inhaltsangabe

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