We use cookies and similar tools that are necessary to enable you to make purchases, improve your shopping experience and provide our services, which is also described in our Privacy Policy. We also use these cookies to track how customers use our services (for example, by measuring website traffic) so that we can make improvements. This includes the use of first- and third-party cookies that store or access standard device information such as a unique identifier. Third-party vendors use cookies to serve personalized ads, measure their effectiveness, generate audience insights, and develop and improve products. Use the "only technically necessary cookies" button to reject these cookies. Click on "individual cookie settings" to reject these cookies, make more detailed settings or learn more. You can change your selection at any time by changing the cookie settings in the privacy settings. To learn more about how and for what purposes personal data (e.g., order history) is used, please read our privacy policy.
  • Welcome to our ABACOM-Shop
  • Electronic-Software
  • Hardware
  • Free demoversions and updates
  1. Mainpage
  2. UPDATES & SERVICE
  3. UPDATES FOR CURRENT VERSIONS
  4. A First Course in Mathematical Logic and Set Th...

A First Course In Mathematical Logic And Set Th... (2026)

by Michael L. O'Leary is a foundational textbook designed to transition students from computational mathematics to rigorous proof-writing. It presents symbolic logic not just as an abstract subject, but as the essential framework for structuring mathematical arguments. Core Course Components

The curriculum typically follows a progression from basic logical structures to advanced foundational theorems: A First Course in Mathematical Logic and Set Th...

The course provides coverage of several landmark results in mathematical foundations: by Michael L

: Defines these fundamental structures strictly within the framework of set theory. A First Course in Mathematical Logic and Set Th...

: Well-Ordering Theorem; Cantor–Schröder–Bernstein Theorem; Burali-Forti Paradox. Comparison of Popular Introductory Texts