Logic for Mathematicians

Original price was: ₹2,312.14.Current price is: ₹1,849.71.

ISBN: 9780486468983
Author/Editor: Rosser

Publisher: DOVER

Year: 2008

1 in stock (can be backordered)

SKU: ABD-DOVER-5252 Category:

Description

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”