---
product_id: 8310251
title: "Mathematical Logic (Dover Books on Mathematics)"
price: "₱2551"
currency: PHP
in_stock: true
reviews_count: 13
url: https://www.desertcart.ph/products/8310251-mathematical-logic-dover-books-on-mathematics
store_origin: PH
region: Philippines
---

# Mathematical Logic (Dover Books on Mathematics)

**Price:** ₱2551
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Mathematical Logic (Dover Books on Mathematics)
- **How much does it cost?** ₱2551 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.ph](https://www.desertcart.ph/products/8310251-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

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.

Review: Excellent Excellent Book - This book was written by one of the great American mathematical minds of this century. I've read it cover to cover and it happens to be my favorite logic book for its scope, depth, and clarity. Kleene uses a combined model-theoretic and proof-theoretic approach, and derives many interesting results relating the two (he also gives mention to special axioms for Intuitionistic logic). Although his focus in the first part of the book is on a more or less mathematical treatment of standard first-order predicate logic (augmented later by functions and equality), he also spends considerable time discussing the ways in which formal logic can and should be used to analyze "ordinary language" statements and arguments. After setting the groundwork, he moves onto subjects such as set theory, formal axiomatic theories, turing machines and recursiveness, Godel's incompleteness theorem, Godel's completeness theorem, and just about every interesting subject relating to logic in the first half of the twentieth century. For the mathematically inclined self-teacher, Kleene's exposition should not be difficult at all, in fact I found it remarkably clear compared to other mathematical treatments of the subject (which are necessary if one wants to understand the deeper results). I suppose less mathematically inclined readers could try Irving Copi's "Symbolic Logic" as a start, although even that requires some mathematical proficiency, and since it doesn't cover many of the things you will want to know about, you'll end up coming back to a book like Kleene's anyway. So to summarize, if you want to learn the hard stuff (from the first half of the twentieth century--which includes just about everything the layman/philosopher wants to know), there is no better or easier way.
Review: My best - I bought this book based on the short altough extremely positive review in the bibliography section of Hofstadter's GEB. And it has proven to be one of the my best acquisitions. The books is wonderfully written, very detailed indeed, so it makes it easy to follow the proofs. It comes along with exercises at the end of every paragraph (chapters are divided into paragraphs) so you can process and reinforce what has been learned. I have worked with plenty of logic books (among them: Suppes', Gamut's, Machover's, etc) but I am loyal to Kleene's. What it attracks me the most is that it not only contains detailed and rigorous proofs of the most important theorems of logic, but that it also comes with philosophical considerations of one of the best logician's of the 20th century. There are other parts too where Kleene includes a piece of history, for instance, about the Löwenheim-Skolem theorem: delightful. Buy it 'cause you won't regret it.

## Technical Specifications

| Specification | Value |
|---------------|-------|
| Best Sellers Rank | #328,910 in Books ( See Top 100 in Books ) #69 in Mathematical Logic #621 in Mathematics (Books) |
| Customer Reviews | 4.6 out of 5 stars 87 Reviews |

## Images

![Mathematical Logic (Dover Books on Mathematics) - Image 1](https://m.media-amazon.com/images/I/61iOxv2JL4L.jpg)

## Customer Reviews

### ⭐⭐⭐⭐⭐ Excellent Excellent Book
*by T***R on July 16, 2008*

This book was written by one of the great American mathematical minds of this century. I've read it cover to cover and it happens to be my favorite logic book for its scope, depth, and clarity. Kleene uses a combined model-theoretic and proof-theoretic approach, and derives many interesting results relating the two (he also gives mention to special axioms for Intuitionistic logic). Although his focus in the first part of the book is on a more or less mathematical treatment of standard first-order predicate logic (augmented later by functions and equality), he also spends considerable time discussing the ways in which formal logic can and should be used to analyze "ordinary language" statements and arguments. After setting the groundwork, he moves onto subjects such as set theory, formal axiomatic theories, turing machines and recursiveness, Godel's incompleteness theorem, Godel's completeness theorem, and just about every interesting subject relating to logic in the first half of the twentieth century. For the mathematically inclined self-teacher, Kleene's exposition should not be difficult at all, in fact I found it remarkably clear compared to other mathematical treatments of the subject (which are necessary if one wants to understand the deeper results). I suppose less mathematically inclined readers could try Irving Copi's "Symbolic Logic" as a start, although even that requires some mathematical proficiency, and since it doesn't cover many of the things you will want to know about, you'll end up coming back to a book like Kleene's anyway. So to summarize, if you want to learn the hard stuff (from the first half of the twentieth century--which includes just about everything the layman/philosopher wants to know), there is no better or easier way.

### ⭐⭐⭐⭐⭐ My best
*by F***A on November 23, 2011*

I bought this book based on the short altough extremely positive review in the bibliography section of Hofstadter's GEB. And it has proven to be one of the my best acquisitions. The books is wonderfully written, very detailed indeed, so it makes it easy to follow the proofs. It comes along with exercises at the end of every paragraph (chapters are divided into paragraphs) so you can process and reinforce what has been learned. I have worked with plenty of logic books (among them: Suppes', Gamut's, Machover's, etc) but I am loyal to Kleene's. What it attracks me the most is that it not only contains detailed and rigorous proofs of the most important theorems of logic, but that it also comes with philosophical considerations of one of the best logician's of the 20th century. There are other parts too where Kleene includes a piece of history, for instance, about the Löwenheim-Skolem theorem: delightful. Buy it 'cause you won't regret it.

### ⭐⭐⭐⭐⭐ Excellent
*by J***R on October 23, 2020*

Everything you always wanted to know!

---

## 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.ph/products/8310251-mathematical-logic-dover-books-on-mathematics](https://www.desertcart.ph/products/8310251-mathematical-logic-dover-books-on-mathematics)

---

*Product available on Desertcart Philippines*
*Store origin: PH*
*Last updated: 2026-05-30*