---
product_id: 20672466
title: "An Introduction to Mathematical Logic (Dover Books on Mathematics)"
price: "RM173"
currency: MYR
in_stock: true
reviews_count: 8
url: https://www.desertcart.com.my/products/20672466-an-introduction-to-mathematical-logic-dover-books-on-mathematics
store_origin: MY
region: Malaysia
---

# An Introduction to Mathematical Logic (Dover Books on Mathematics)

**Price:** RM173
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** An Introduction to Mathematical Logic (Dover Books on Mathematics)
- **How much does it cost?** RM173 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.com.my](https://www.desertcart.com.my/products/20672466-an-introduction-to-mathematical-logic-dover-books-on-mathematics)

## Best For

- Customers looking for quality international products

## Why This Product

- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Buy An Introduction to Mathematical Logic (Dover Books on Mathematics) on desertcart.com ✓ FREE SHIPPING on qualified orders

Review: Excellent book. Good balance between intuition and formalism - I'm a machine learning scientist and have been returning to this book since 2015 to read up on first order logic and Godel theorems. Unlike many books in this area, I think this book strikes a great balance between rigor and intuition. I love how the author first uses (un)decidability as a conceptual placeholder to explain concepts such as Godel expressibility before formalizing it later with recursion. This book has been my self-study guide to learning foundations, starting with formal languages and axioms as basic as counting notches on a paper, up till (almost) grasping proofs of Godel's incompleteness theorems.
Review: Got What I Needed Out of It - Honestly, this book gets into the arcana of theories and systems a bit more than I needed, but it still served as a decent semi-introduction/review for a high school math teacher / computer programmer who was trying to help out a former student taking an introductory class in mathematical logic. If you are in a similar situation as I was, I recommend reading the start of each chapter in detail and when it gets too theoretical just skim. Also, for some reason the first chapter dives pretty hard into advanced concepts like formal systems, relations, decidability, etc. that are arguably more difficult than the bulk of the following chapters. The author recommends to "cover it as needed" in the preface. This is good advice as the next few chapters are a bit easier and more on topic. Anyway, aside from being rather challenging in parts for a non-expert, it is also extremely well organized and readable with an index etc., hence a reasonable choice even for a less advanced mathematician like myself. If you are looking to touch on more advanced topics (the work of Godel, Tarski, Church, etc.), it will do that too.

## Technical Specifications

| Specification | Value |
|---------------|-------|
| Best Sellers Rank | #1,138,751 in Books ( See Top 100 in Books ) #442 in Mathematical Logic #3,212 in Mathematics (Books) |
| Customer Reviews | 4.8 out of 5 stars 51 Reviews |

## Images

![An Introduction to Mathematical Logic (Dover Books on Mathematics) - Image 1](https://m.media-amazon.com/images/I/71-5cm5ohcL.jpg)

## Customer Reviews

### ⭐⭐⭐⭐⭐ Excellent book. Good balance between intuition and formalism
*by A***E on June 12, 2024*

I'm a machine learning scientist and have been returning to this book since 2015 to read up on first order logic and Godel theorems. Unlike many books in this area, I think this book strikes a great balance between rigor and intuition. I love how the author first uses (un)decidability as a conceptual placeholder to explain concepts such as Godel expressibility before formalizing it later with recursion. This book has been my self-study guide to learning foundations, starting with formal languages and axioms as basic as counting notches on a paper, up till (almost) grasping proofs of Godel's incompleteness theorems.

### ⭐⭐⭐⭐⭐ Got What I Needed Out of It
*by J***M on February 15, 2021*

Honestly, this book gets into the arcana of theories and systems a bit more than I needed, but it still served as a decent semi-introduction/review for a high school math teacher / computer programmer who was trying to help out a former student taking an introductory class in mathematical logic. If you are in a similar situation as I was, I recommend reading the start of each chapter in detail and when it gets too theoretical just skim. Also, for some reason the first chapter dives pretty hard into advanced concepts like formal systems, relations, decidability, etc. that are arguably more difficult than the bulk of the following chapters. The author recommends to "cover it as needed" in the preface. This is good advice as the next few chapters are a bit easier and more on topic. Anyway, aside from being rather challenging in parts for a non-expert, it is also extremely well organized and readable with an index etc., hence a reasonable choice even for a less advanced mathematician like myself. If you are looking to touch on more advanced topics (the work of Godel, Tarski, Church, etc.), it will do that too.

### ⭐⭐⭐⭐⭐ Nice job.
*by M***N on March 24, 2025*

Product came as advertised

## Frequently Bought Together

- An Introduction to Mathematical Logic (Dover Books on Mathematics)
- Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
- Mathematical Logic (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.com.my/products/20672466-an-introduction-to-mathematical-logic-dover-books-on-mathematics](https://www.desertcart.com.my/products/20672466-an-introduction-to-mathematical-logic-dover-books-on-mathematics)

---

*Product available on Desertcart Malaysia*
*Store origin: MY*
*Last updated: 2026-03-04*