Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherDover Publications, Incorporated
ISBN-100486468984
ISBN-139780486468983
eBay Product ID (ePID)66703593
Product Key Features
Number of Pages592 Pages
Publication NameLogic for Mathematicians
LanguageEnglish
Publication Year2008
SubjectLogic
TypeTextbook
AuthorBarrow Mathematics, J. Barkley Rosser
Subject AreaMathematics
SeriesDover Books on Mathematics Ser.
FormatTrade Paperback
Dimensions
Item Height1.2 in
Item Weight25.6 Oz
Item Length9.1 in
Item Width6.1 in
Additional Product Features
Edition Number2
Intended AudienceCollege Audience
Dewey Decimal164
Table Of ContentPrefaceList 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
SynopsisExamination 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., Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. 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.