£163.99

North Holland Handbook of Automated Reasoning (Volume II)

Price data last checked 120 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£164 today · usual range £0–£0 · best ever £120

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 611 days • 611 data points (No recent data available)

Historical
Generating forecast...
£167.99 £115.11 £126.65 £138.19 £149.72 £161.26 £172.80 10 June 2024 09 November 2024 11 April 2025 10 September 2025 10 February 2026

Price Distribution

Price distribution over 611 days • 3 price ranges

Days at Price
Current Price
47 days 55 days 509 days · current 0 127 255 382 509 £120-130 £149-158 £158-168 Days at Price

Price Analysis

Most common range: £158-168 (509 days, 83.3%)

Price range: £120 - £168

Price levels: 3 price ranges over 611 days

Description

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Product Specifications

Format
Hardcover
Domain
Amazon UK
Release Date
25 June 2001
Listed Since
15 December 2006

Barcode

No barcode data available