£163.99

North Holland Handbook of Automated Reasoning (Volume II)

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

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£163.99 £155.79 £159.07 £162.35 £165.63 £168.91 £172.19 25 January 2026 29 January 2026 02 February 2026 06 February 2026 10 February 2026

Price Distribution

Price distribution over 17 days • 1 price levels

Days at Price
17 days 0 4 9 13 17 £164 Days at Price

Price Analysis

Most common price: £164 (17 days, 100.0%)

Price range: £164 - £164

Price levels: 1 different prices over 17 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

Similar Products You Might Like

Handbook of Automated Reasoning (Volume 1)
93% match

Handbook of Automated Reasoning (Volume 1)

North Holland

£325.00 23 Feb 2026
Handbook of Combinatorics Volume 2
91% match

Handbook of Combinatorics Volume 2

North Holland

£175.00 11 Jan 2026
Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)
90% match

Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)

North Holland

£115.00 13 Jan 2026
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
90% match

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer

£61.26 26 Feb 2026
Handbook of Coding Theory: Part 2: Connections, Part 3: Applications: Volume II (Handbook of Coding Theory, Volume II)
89% match

Handbook of Coding Theory: Part 2: Connections, Part 3: Applications: Volume II (Handbook of Coding Theory, Volume II)

North Holland

£165.69 13 Jan 2026
89% match

Automation of Logic (Chapman & Hall/CRC Studies in Informatics Series)

Chapman and Hall/CRC

£69.99 08 Mar 2026
Handbook of Econometrics (Volume 2) (Handbooks in Economics, Volume 2)
89% match

Handbook of Econometrics (Volume 2) (Handbooks in Economics, Volume 2)

North Holland

£97.99 08 Jan 2026
Cambridge Higher Recursion Theory 2 - Perspectives in Logic
89% match

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

£95.81 17 Apr 2026
Model Theory
89% match

Model Theory

North Holland

£43.99 20 Feb 2026
Handbook of Computational Economics: Agent-Based Computational Economics (Volume 2) (Handbooks in Economics, Volume 2)
89% match

Handbook of Computational Economics: Agent-Based Computational Economics (Volume 2) (Handbooks in Economics, Volume 2)

North Holland

£107.39 13 Dec 2025
Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
89% match

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Springer

£151.55 14 Jan 2026
Handbook of Combinatorics: Vol I & II
89% match

Handbook of Combinatorics: Vol I & II

North Holland

£290.00 11 Jan 2026
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
89% match

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Springer

£75.27 08 Mar 2026
North Holland Cylindric Algebras (Volume 115) - Logic Book
89% match

North Holland Cylindric Algebras (Volume 115) - Logic Book

North Holland

£43.99 25 Feb 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
89% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
89% match

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Springer

£78.47 07 Jan 2026
Springer Handbook of Automation
89% match

Springer Handbook of Automation

£159.00 12 Jan 2026
Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application
89% match

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Springer

£173.91 14 Jan 2026
Wittgenstein and Artificial Intelligence, Volume II: Values and Governance: 1 (Anthem Studies in Wittgenstein, 1)
89% match

Wittgenstein and Artificial Intelligence, Volume II: Values and Governance: 1 (Anthem Studies in Wittgenstein, 1)

Anthem Press

£67.79 11 Feb 2026
Handbook of Behavioral Economics - Foundations and Applications 2 (Volume 2) (Handbook of Behavioral Economics, Volume 2)
89% match

Handbook of Behavioral Economics - Foundations and Applications 2 (Volume 2) (Handbook of Behavioral Economics, Volume 2)

North Holland

£98.89 13 Jan 2026
Handbook of Game Theory with Economic Applications: Vol 2 (Handbooks in Economics): Volume 2
89% match

Handbook of Game Theory with Economic Applications: Vol 2 (Handbooks in Economics): Volume 2

North Holland

£93.19 29 Jan 2026
North Holland Handbook of Algebra (Volume 2) - Mathematics Reference
89% match

North Holland Handbook of Algebra (Volume 2) - Mathematics Reference

North Holland

£127.78 20 Apr 2026
Proof and System-Reliability: v. 62 (NATO Science Series II)
89% match

Proof and System-Reliability: v. 62 (NATO Science Series II)

Springer

£91.50 10 Mar 2026
Handbook of Asset and Liability Management,2: Applications and Case Studies: Volume 2 (Handbooks in Finance, Volume 2)
89% match

Handbook of Asset and Liability Management,2: Applications and Case Studies: Volume 2 (Handbooks in Finance, Volume 2)

North Holland

£115.00 19 Apr 2026