: Introduces statement and predicate calculus before moving into Boolean algebra and informal axiomatic set theory. Advanced Foundations
: Develops the natural number sequence (including Zorn's Lemma) and extends these concepts to real numbers using Cauchy sequences. Logic and Boolean Algebra
: Published by Dover Publications; ISBN: 9780486638294; 474 pages. Pinter's A Book of Set Theory Set Theory and Logic : Stoll, Robert R. - Amazon.sg
) is widely regarded as one of the most effective introductory texts for students pursuing the conceptual foundations of mathematics. Originally published in 1963 as an expansion of his earlier work, this book bridges the gap between elementary set theory and more advanced, technical mathematical logic. Core Content & Structure
: Concludes with algebraic theories (rings, fields, etc.) and first-order theories/metamathematics. Critical Reception Educational Value : Reviewers from Mathematical Reviews
The book is structured to guide readers through the logical ordering of the real number system using axiomatic methods. Key chapters include: Sets and Relations : Covers Cantor's concept of a set, functions, and order. Natural and Real Numbers
: Many readers praise its well-organized exercises and "non-trivial" examples that help cement theoretical definitions. Modern Limitations
: While noted for its "painless" introduction to standard logic, it maintains a high degree of mathematical rigor, making it a favorite for self-study among those with some undergraduate math background. Didactic Approach