£83.28

This is the most expensive it has ever been. Walk away.

£83 today · previous high £83 · all-time low £83

Springer Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Amazon

Price History & Forecast

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

Last 17 days · 17 data points (no recent data)

Historical
Generating forecast…
£83.28 £82.49 £82.66 £82.83 £83.01 £83.18 £83.35 28 July 2026 01 August 2026 05 August 2026 09 August 2026 13 August 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 17 days • 1 price levels

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

Price Analysis

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

Price range: £83 - £83

Price levels: 1 different prices over 17 days

Description

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
30 November 2010
Listed Since
11 August 2010

Barcode

No barcode data available

Similar Products You Might Like

Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)
98% match

Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Springer

£113.76 10 Oct 2026
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
96% match

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Springer

£101.18 01 Oct 2026
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ... (Lecture Notes in Computer Science, 10501)
96% match

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ... (Lecture Notes in Computer Science, 10501)

Springer

£19.90 02 Oct 2026
First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)
96% match

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)

Springer

£40.82 04 Sep 2026
Mathematical Logic for Computer Science
96% match

Mathematical Logic for Computer Science

Springer

£46.06 14 Oct 2026
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)
96% match

Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)

Birkhauser

£63.90 19 Sep 2026
R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)
95% match

R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)

Springer

£108.01 14 Aug 2026
Springer Handbook of Tableau Methods - Logic Systems Book
95% match

Springer Handbook of Tableau Methods - Logic Systems Book

Springer

£142.76 19 Sep 2026
Logic for Applications (Texts in Computer Science)
95% match

Logic for Applications (Texts in Computer Science)

Springer

£104.00 15 Aug 2026
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
95% match

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Springer

£81.56 22 Sep 2026
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)
95% match

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Springer

£49.14 25 Sep 2026
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
95% match

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Springer

£61.69 11 Sep 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
95% match

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Springer

£61.69 18 Sep 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
95% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Springer

£85.45 14 Aug 2026
Logic for Computer Science and Artificial Intelligence
95% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 01 Oct 2026
Natural Dualities for the Working Algebraist: 57 (Cambridge Studies in Advanced Mathematics, Series Number 57)
95% match

Natural Dualities for the Working Algebraist: 57 (Cambridge Studies in Advanced Mathematics, Series Number 57)

Cambridge University Press

£143.59 06 Oct 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
95% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.71 01 Oct 2026
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
95% match

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

World Scientific Publishing Company

£73.13 05 Oct 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
95% match

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Springer

£58.17 02 Oct 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
95% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£93.99 03 Oct 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
94% match

Displaying Modal Logic: 3 (Trends in Logic, 3)

Springer

£100.11 21 Sep 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
94% match

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

North Holland

£49.99 11 Sep 2026
Logic with Trees: An Introduction to Symbolic Logic
94% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£45.99 08 Sep 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
94% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£108.75 24 Sep 2026