---
product_id: 3848862
title: "Language, Proof and Logic, 2nd Edition"
brand: "david barker-plummerjon barwisejohn etchemendy"
price: "€ 186.45"
currency: EUR
in_stock: true
reviews_count: 13
url: https://www.desertcart.de/products/3848862-language-proof-and-logic-2nd-edition
store_origin: DE
region: Germany
---

# Language, Proof and Logic, 2nd Edition

**Brand:** david barker-plummerjon barwisejohn etchemendy
**Price:** € 186.45
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Language, Proof and Logic, 2nd Edition by david barker-plummerjon barwisejohn etchemendy
- **How much does it cost?** € 186.45 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.de](https://www.desertcart.de/products/3848862-language-proof-and-logic-2nd-edition)

## Best For

- david barker-plummerjon barwisejohn etchemendy enthusiasts

## Why This Product

- Trusted david barker-plummerjon barwisejohn etchemendy brand quality
- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Language, Proof and Logic, 2nd Edition

## Images

![Language, Proof and Logic, 2nd Edition - Image 1](https://m.media-amazon.com/images/I/51XdzGE1iXL.jpg)
![Language, Proof and Logic, 2nd Edition - Image 2](https://m.media-amazon.com/images/I/51WloFP0aVL.jpg)
![Language, Proof and Logic, 2nd Edition - Image 3](https://m.media-amazon.com/images/I/31t8u+ZTHIL.jpg)

## Customer Reviews

### ⭐⭐⭐⭐⭐ 5.0 out of 5 stars







  
  
    The BEST Self-Study Course in FOL
  

*by P***E on Reviewed in the United States on December 10, 2022*

I've read a few books on FOL: Quine, Goldfarb, L.T.F. Gamut, Velleman's "How to Prove It" on set theory. This course stands out for a few reasons. It is better-written than any other FOL text I've found; every sentence is crystal-clear, and the book works hard to cultivate basic intuitions. Secondly, there is a whole software ecoystem that goes with the book, and teaches FOL models via a "blocks world" graphical interface. This allows one to understand model-theoretic semantics of FOL without just dealing with the typical mappings of {0,1} to constants, which can get confusing (trust me if that last sentence was gibberish to you). Indeed, pretty much anyone with some patience and attention to detail can read this book.You need to buy the book new to ensure you get access to the software for the course, and the auto-grading service. The auto-grading service is another real plus, as it allows you to check your work as you go. And the exercises are written for everyone not just logic prodigies.By learning how to do proofs with software verification, you set yourself up for a career as a logic programmer, business rules architect, or database architect. It's far more useful than simple pencil & paper proofs which are the stuff of typical intro FOL courses.Also note, this is not my first rodeo with FOL, I've spent years with it, yet feel the clarity and discipline imparted by this course are missing from other introductions to this subject.

### ⭐⭐⭐⭐⭐ 5.0 out of 5 stars







  
  
    How to resell the book with GradeGrinder account intact
  

*by P***9 on Reviewed in the United States on October 29, 2018*

If you are a student buying this book for a logic course, please read this review.The book requires that you set up an account on the GradeGrinder server to use the software & do the homework. The number in the back of the book is only good for one account, and can't be entered to make a second one (that is, a used book may be useless). However, you CAN resell this book with account intact if you create and link a generic email address (say, logician7725@gmail.com) and give that info to the person who buys it from you. This way you don't have to hang on to a book which won't be useful to you after the courses are over. Good luck.

### ⭐⭐⭐ 3.0 out of 5 stars







  
  
    Quite literally the dog ate my homework - had bite marks
  

*by K***T on Reviewed in the United States on October 12, 2014*

Just okay condition. But, I am a college student. As long as the pages are all there then it doesn't matter too much.I wish the seller advertised more prominently the fact that the CD to accompany may not be included. So, it was kinda a gamble. Thank god other students in my class are smart with computers and were able to give me a copy via flash drive.Not too much writing either in the book. Looked like a dog ate the corner though. Quite literally the dog ate my homework/book hahaha. Or perhaps the student became frustrated with logic and bit their book.Either way, the book was clearly written and I had a fun time learning logic. The authors had a different approach with introducing logic than other books I have used.

## Frequently Bought Together

- Language, Proof and Logic 2e +CD: Second Edition
- Aristotle: Introductory Readings (Hackett Classics)
- Protagoras

---

## 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.de/products/3848862-language-proof-and-logic-2nd-edition](https://www.desertcart.de/products/3848862-language-proof-and-logic-2nd-edition)

---

*Product available on Desertcart Germany*
*Store origin: DE*
*Last updated: 2026-02-25*