---
product_id: 38376138
title: "Computability and Logic"
price: "AED 136"
currency: AED
in_stock: true
reviews_count: 11
url: https://www.desertcart.ae/products/38376138-computability-and-logic
store_origin: AE
region: United Arab Emirates
---

# Computability and Logic

**Price:** AED 136
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Computability and Logic
- **How much does it cost?** AED 136 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.ae](https://www.desertcart.ae/products/38376138-computability-and-logic)

## 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

desertcart.com: Computability and Logic: 9780521701464: Boolos, George S., Burgess, John P., Jeffrey, Richard C.: Books

Review: Great text on what math really is! - I really liked the style. On one hand, it looks like you are having a chat with the authors, on the other, it is perfectly formal and rigorous. No tedious parts, just pure ideas! And perfect examples! Exercises after each chapter were great, complex problems were divided into a few problems which I really liked. Maybe some of them were trivial but I didn't mind that. Overall, I think that this is a great text for every math graduate since these subtle ideas are simply skipped in most logic courses. And also this would be of value to a motivated high schooler who is not quite sure what math really is.
Review: Brilliant and Authoritative - If you want a rigourous and fairly thorough introduction to the ideas of Tarski, Goedel, Skolem, et al., and you never really understood the Loewenheim-Skolem theorem or Tarski theory of truth, this is the book for you. Do you understand why a logical system that proves its own consistency must be inconsistent? If not, and you think this is an interesting question, this is the book for you.

## Technical Specifications

| Specification | Value |
|---------------|-------|
| Best Sellers Rank | #559,261 in Books ( See Top 100 in Books ) #48 in Logic (Books) #205 in Mathematical Logic #334 in Philosophy of Logic & Language |
| Customer Reviews | 4.8 4.8 out of 5 stars (43) |
| Dimensions  | 7 x 0.82 x 9.98 inches |
| Edition  | 5th |
| ISBN-10  | 0521701465 |
| ISBN-13  | 978-0521701464 |
| Item Weight  | 1.4 pounds |
| Language  | English |
| Print length  | 366 pages |
| Publication date  | September 17, 2007 |
| Publisher  | Cambridge University Press |

## Images

![Computability and Logic - Image 1](https://m.media-amazon.com/images/I/61DzGpfizSL.jpg)

## Customer Reviews

### ⭐⭐⭐⭐⭐ Great text on what math really is!
*by B***C on December 23, 2019*

I really liked the style. On one hand, it looks like you are having a chat with the authors, on the other, it is perfectly formal and rigorous. No tedious parts, just pure ideas! And perfect examples! Exercises after each chapter were great, complex problems were divided into a few problems which I really liked. Maybe some of them were trivial but I didn't mind that. Overall, I think that this is a great text for every math graduate since these subtle ideas are simply skipped in most logic courses. And also this would be of value to a motivated high schooler who is not quite sure what math really is.

### ⭐⭐⭐⭐⭐ Brilliant and Authoritative
*by H***S on March 2, 2013*

If you want a rigourous and fairly thorough introduction to the ideas of Tarski, Goedel, Skolem, et al., and you never really understood the Loewenheim-Skolem theorem or Tarski theory of truth, this is the book for you. Do you understand why a logical system that proves its own consistency must be inconsistent? If not, and you think this is an interesting question, this is the book for you.

### ⭐⭐⭐⭐⭐ A book for Ph.D. students
*by P***O on May 18, 2012*

This book is used for Ph.D. students of computer science. It is objective and has advanced theorical concepts about mathematic of computer science. Difficult problems are solved in this book, while in others books they are not. It is a excelent book.

## Frequently Bought Together

- Computability and Logic
- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- Model Theory: Third Edition (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.ae/products/38376138-computability-and-logic](https://www.desertcart.ae/products/38376138-computability-and-logic)

---

*Product available on Desertcart United Arab Emirates*
*Store origin: AE*
*Last updated: 2026-04-30*