Logic for Mathematicians
2nd Edition
Published on 18. December 2008
Book
Paperback/Softback
592 pages
978-0-486-46898-3 (ISBN)
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.
More details
Series
Edition
2nd edition
Language
English
Place of publication
New York
United States
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 231 mm
Width: 155 mm
Thickness: 30 mm
Weight
726 gr
ISBN-13
978-0-486-46898-3 (9780486468983)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
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