£94.00

Cambridge University Press Structural Proof Theory

Price data checked 5 days ago

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 86 days • 86 data points (No recent data available)

Historical
Generating forecast...
£94.00 £88.38 £89.61 £90.83 £92.06 £93.28 £94.51 01 March 2026 22 March 2026 12 April 2026 03 May 2026 25 May 2026

Price Distribution

Price distribution over 86 days • 3 price levels

Days at Price
Current Price
55 days 26 days 5 days · current 0 14 28 41 55 £89 £90 £94 Days at Price

Price Analysis

Most common price: £89 (55 days, 64.0%)

Price range: £89 - £94

Price levels: 3 different prices over 86 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

£98.29 25 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
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 25 May 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
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 29 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

£150.07 25 May 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
Protoalgebraic Logics: 10 (Trends in Logic, 10)
79% match

Protoalgebraic Logics: 10 (Trends in Logic, 10)

Springer

£105.94 25 May 2026
Theorems, Corollaries, Lemmas, and Methods of Proof (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
79% match

Theorems, Corollaries, Lemmas, and Methods of Proof (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Wiley

£106.99 19 May 2026
Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)
79% match

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Springer

£106.26 17 May 2026
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
79% match

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Springer

£105.94 17 May 2026
Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)
78% match

Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)

Springer

£155.25 21 May 2026
Computation, Proof, Machine: Mathematics Enters a New Age
78% match

Computation, Proof, Machine: Mathematics Enters a New Age

Cambridge University Press

£35.72 22 May 2026
Computational Semantics with Functional Programming
78% match

Computational Semantics with Functional Programming

Cambridge University Press

£39.04 20 May 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
78% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

Springer

£138.60 11 May 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
78% match

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

Springer

£73.03 23 May 2026