--- product_id: 8144000 title: "Set Theory and Logic (Dover Books on Mathematics)" brand: "robert r. stoll" price: "Rp938905" currency: IDR in_stock: true reviews_count: 8 url: https://www.desertcart.id/products/8144000-set-theory-and-logic-dover-books-on-mathematics store_origin: ID region: Indonesia --- # Set Theory and Logic (Dover Books on Mathematics) **Brand:** robert r. stoll **Price:** Rp938905 **Availability:** ✅ In Stock ## Quick Answers - **What is this?** Set Theory and Logic (Dover Books on Mathematics) by robert r. stoll - **How much does it cost?** Rp938905 with free shipping - **Is it available?** Yes, in stock and ready to ship - **Where can I buy it?** [www.desertcart.id](https://www.desertcart.id/products/8144000-set-theory-and-logic-dover-books-on-mathematics) ## Best For - robert r. stoll enthusiasts ## Why This Product - Trusted robert r. stoll brand quality - Free international shipping included - Worldwide delivery with tracking - 15-day hassle-free returns ## Description Set Theory and Logic (Dover Books on Mathematics) ## Images ![Set Theory and Logic (Dover Books on Mathematics) - Image 1](https://m.media-amazon.com/images/I/71WKMK0NsxL.jpg) ## Customer Reviews ### ⭐⭐⭐⭐⭐ Broad, detailed, and beginner-friendly. *by A***N on December 6, 2017* This is an ideal painless introduction to standard logic and set theory for anyone with a couple of years of undergraduate pure mathematics background. This 1963 book by Robert Roth Stoll is more than twice as big as the author's 1961 "Sets, Logic and Axiomatic Theories", which it is an expansion of. The 1961 book was already very good, but this greatly expanded 1963 edition is much more comprehensive, and still very beginner-friendly, not one of those macho books which inflict the maximum pain on readers. Before proceeding to the more painful advanced logic and set theory books, it's probably a really good idea to first get relaxed and comfortable with this friendly introduction for a while.Instead of presenting formal logic first, as most of the advanced books do, Stoll starts with topics which are more familiar from general mathematics. Chapter 1 covers sets, relations, functions and order in a very elementary way. Chapter 2 (less elementary) presents natural numbers, cardinal numbers, ordinal numbers, and the axiom of choice. Chapter 3 presents rational and real numbers. The real numbers are constructed here using Cauchy sequences rather than Dedekind cuts.Then the logic starts in Chapter 4 with basic propositional and predicate calculus. Chapters 5, 6, 7 and 8 are concerned with the axiomatization of set theory and algebra. Finally Chapter 9 presents first-order languages and metamathematics, but not in too much depth. This lightweight introduction helps the reader to be comfortable with these concepts before optionally progressing to the more heavyweight model theory books.One consequence of presenting elementary set theorems before presenting set theory axioms is that some of Stoll's theorem's precede the axioms which they are based on. For example, theorems 4.4 and 4.5 on pages 91-93 use the countable axiom of choice, which is not introduced until pages 111-118 informally, and on page 302 formally. Interestingly, Stoll states on page 403 that David Hilbert believed that a metatheory "should belong to intuitive and informal mathematics". Stoll then states the following about Hilbert's view."Further, its theorems [....] must be understood and the deductions must carry conviction. To help ensure the latter, all controversial principles of reasoning such as the axiom of choice must not be used."So this is a bit of meta-metamathematics by Hilbert. You don't read in many books about Hilbert's suspicions about the axiom of choice.One of the best things about this book is the presentation of a natural deduction logical calculus on page 183 in the tabular style of Suppes and Lemmon. This is, in my opinion, by far the best way to do propositional and predicate calculus rigorously and with minimum effort.There is some model theory and semantics in this book, but not too much. The set theory is standard ZF plus the axiom of choice. Not too much is said about interpretations, but just enough to prepare the reader for later studying model theory if they are that way inclined. ### ⭐⭐⭐⭐⭐ Great book *by R***O on October 26, 2024* Nice book with a clear language and a bunch of examples and exercises in order for you to practice ### ⭐⭐⭐⭐⭐ Very good coverage of set theory and logic. *by J***L on March 13, 2024* Very good coverage of set theory and logic.It's very readable, and also covers basic real analysis and the foundations of arithmetic.Ever wonder why a negative times a negative is a positive?i.e. why (-1)*(-1) === 1, this book answers this. ## Frequently Bought Together - Set Theory and Logic (Dover Books on Mathematics) - Number Theory (Dover Books on Mathematics) - Introduction to Graph Theory (Dover Books on Mathematics) --- ## Why Shop on Desertcart? - 🛒 **Trusted by 1.3+ Million Shoppers** — Serving international shoppers since 2016 - 🌍 **Shop Globally** — Access 737+ million products across 21 categories - 💰 **No Hidden Fees** — All customs, duties, and taxes included in the price - 🔄 **15-Day Free Returns** — Hassle-free returns (30 days for PRO members) - 🔒 **Secure Payments** — Trusted payment options with buyer protection - ⭐ **TrustPilot Rated 4.5/5** — Based on 8,000+ happy customer reviews **Shop now:** [https://www.desertcart.id/products/8144000-set-theory-and-logic-dover-books-on-mathematics](https://www.desertcart.id/products/8144000-set-theory-and-logic-dover-books-on-mathematics) --- *Product available on Desertcart Indonesia* *Store origin: ID* *Last updated: 2026-05-08*