£94.00

Cambridge University Press Structural Proof Theory

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

View at Amazon

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

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

£94 today · previous high £94 · all-time low £89

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 43 days · 43 data points (no recent data)

Historical
Generating forecast…
£94.00 £88.49 £89.69 £90.89 £92.10 £93.30 £94.50 23 April 2026 03 May 2026 14 May 2026 24 May 2026 04 June 2026

Price Distribution

Price distribution over 43 days • 3 price levels

Days at Price
Current Price
2 days 26 days 15 days · current 0 7 13 20 26 £89 £90 £94 Days at Price

Price Analysis

Most common price: £90 (26 days, 60.5%)

Price range: £89 - £94

Price levels: 3 different prices over 43 days

Description

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
18 June 2001
Listed Since
09 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Logical Foundations of Proof Complexity (Perspectives in Logic)
84% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£94.58 31 May 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
82% match

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£156.75 12 May 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
82% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£39.90 17 May 2026
Programming with Higher-Order Logic
82% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 26 May 2026
Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
82% match

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Cambridge University Press

£131.48 27 May 2026
Dag Prawitz on Proofs and Meaning: 7 (Outstanding Contributions to Logic, 7)
81% match

Dag Prawitz on Proofs and Meaning: 7 (Outstanding Contributions to Logic, 7)

Springer

£76.38 22 Jun 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
81% match

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Springer

£106.20 31 May 2026
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
81% match

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

Springer

£76.38 06 Jun 2026
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
80% match

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Springer

£93.13 05 Jun 2026
Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)
80% match

Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)

Springer

£73.03 15 Jun 2026
Logics for Computer Science: Classical and Non-Classical
80% match

Logics for Computer Science: Classical and Non-Classical

Springer

£76.52 05 Jun 2026
Abductive Inference: Computation, Philosophy, Technology
80% match

Abductive Inference: Computation, Philosophy, Technology

Cambridge University Press

£66.48 04 May 2026
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
80% match

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer

£107.98 25 May 2026
Categories for Types (Studies in Emotion and Social Interaction)
80% match

Categories for Types (Studies in Emotion and Social Interaction)

Cambridge University Press

£118.95 17 May 2026
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
80% match

Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Cambridge University Press

£41.89 04 Jul 2026
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)
80% match

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Springer

£36.54 01 Jul 2026
Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
80% match

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Cambridge University Press

£61.72 18 May 2026
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
80% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£164.93 06 Jun 2026
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
80% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£150.07 31 May 2026
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
79% match

Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)

Springer

£29.83 05 Jun 2026
Structures and Algorithms: Mathematics and the Nature of Knowledge: 15 (Logic, Argumentation & Reasoning, 15)
79% match

Structures and Algorithms: Mathematics and the Nature of Knowledge: 15 (Logic, Argumentation & Reasoning, 15)

Springer

£80.72 05 Jun 2026
Elements of Logical Reasoning
79% match

Elements of Logical Reasoning

Cambridge University Press

£73.00 28 May 2026
Advances in Intensional Logic: 7 (Applied Logic Series, 7)
79% match

Advances in Intensional Logic: 7 (Applied Logic Series, 7)

Springer

£106.20 28 May 2026
The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)
79% match

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)

Springer

£74.74 25 May 2026