---
product_id: 656996724
title: "Logic in Computer Science: Modelling and Reasoning about Systems:2nd (Second) edition"
price: "A$391"
currency: AUD
in_stock: true
reviews_count: 1
url: https://www.desertcart.com.au/products/656996724-logic-in-computer-science-modelling-and-reasoning-about-systems-2nd
store_origin: AU
region: Australia
---

# Logic in Computer Science: Modelling and Reasoning about Systems:2nd (Second) edition

**Price:** A$391
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Logic in Computer Science: Modelling and Reasoning about Systems:2nd (Second) edition
- **How much does it cost?** A$391 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.com.au](https://www.desertcart.com.au/products/656996724-logic-in-computer-science-modelling-and-reasoning-about-systems-2nd)

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

Logic in Computer Science: Modelling and Reasoning about Systems:2nd (Second) edition [Huth] on desertcart.com. *FREE* shipping on qualifying offers. Logic in Computer Science: Modelling and Reasoning about Systems:2nd (Second) edition

Review: Horrible book - "Oh, my professor is hard to understand, let me check the book." "Aahhhh balls. It's even worse."

## Technical Specifications

| Specification | Value |
|---------------|-------|
| ASIN  | B0041W0INM |
| Best Sellers Rank | #11,737,989 in Books ( See Top 100 in Books ) #1,304 in Computer Programming Logic |
| Customer Reviews | 3.0 3.0 out of 5 stars (2) |
| Language  | English |
| Publication date  | January 1, 2004 |
| Publisher  | Cambridge UP, Paperback(2004) |

## Images

![Logic in Computer Science: Modelling and Reasoning about Systems:2nd (Second) edition - Image 1](https://m.media-amazon.com/images/I/51-fJMX5j0L.jpg)

## Customer Reviews

### ⭐ Horrible book
*by K***H on September 12, 2019*

"Oh, my professor is hard to understand, let me check the book." "Aahhhh balls. It's even worse."

---

## 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.au/products/656996724-logic-in-computer-science-modelling-and-reasoning-about-systems-2nd](https://www.desertcart.com.au/products/656996724-logic-in-computer-science-modelling-and-reasoning-about-systems-2nd)

---

*Product available on Desertcart Australia*
*Store origin: AU*
*Last updated: 2026-05-11*