£100.11

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

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

Springer Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£100.11 £100.10 £100.10 £100.10 £100.11 £100.11 £100.11 25 July 2026 08 August 2026 23 August 2026 06 September 2026 21 September 2026
View at Amazon ↗

Price data last checked 32 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 59 days • 1 price levels

Days at Price
59 days 0 15 30 44 59 £100 Days at Price

Price Analysis

Most common price: £100 (59 days, 100.0%)

Price range: £100 - £100

Price levels: 1 different prices over 59 days

Description

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
02 December 2010
Listed Since
12 June 2010

Barcode

No barcode data available

Similar Products You Might Like

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
99% match

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Springer

£100.11 01 Oct 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
97% match

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

Springer

£100.11 21 Sep 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
97% match

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

Springer

£105.95 23 Sep 2026
ADVANCES IN MODAL LOGIC, VOLUME 3
96% match

ADVANCES IN MODAL LOGIC, VOLUME 3

World Scientific Publishing Company

£62.28 07 Sep 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
96% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£158.24 11 Sep 2026
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
96% match

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

Springer

£81.56 22 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£151.20 24 Sep 2026
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
96% match

R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)

Springer

£132.03 05 Sep 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
96% match

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Springer

£75.56 18 Sep 2026
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
96% match

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

CRC Press

£85.00 23 Sep 2026
A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)
96% match

A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)

Springer

£99.94 30 Sep 2026
Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)
96% match

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)

Springer

£98.82 30 Sep 2026
Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)
96% match

Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)

Springer

£41.43 24 Sep 2026
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153
96% match

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

Elsevier

£127.17 19 Sep 2026
Springer R-Calculus, IV: Propositional Logic Book
96% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£100.00 10 Sep 2026
First-Order Modal Logic: 277 (Synthese Library)
96% match

First-Order Modal Logic: 277 (Synthese Library)

Springer

£199.96 19 Sep 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
96% match

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Springer

£94.11 02 Oct 2026
Propositional Logics Third Edition
95% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£41.65 08 Sep 2026
Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)
95% match

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Springer

£76.33 24 Sep 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
Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)
95% match

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Springer

£74.74 24 Sep 2026
Logical Foundations of Artificial Intelligence
95% match

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

£49.99 10 Sep 2026