£114.00

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

£114 today · previous high £114 · all-time low £97

Cambridge University Press Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£114.00 £95.45 £99.50 £103.55 £107.59 £111.64 £115.69 11 August 2026 31 August 2026 20 September 2026 10 October 2026 30 October 2026
View at Amazon ↗

Price data last checked 10 day(s) ago - will refresh soon

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 81 days • 4 price levels

Days at Price
Current Price
19 days 20 days 3 days 39 days · current 0 10 20 29 39 £97 £98 £105 £114 Days at Price

Price Analysis

Most common price: £114 (39 days, 48.1%)

Price range: £97 - £114

Price levels: 4 different prices over 81 days

Description

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
11 February 1993
Listed Since
02 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Structural Proof Theory
85% match

Structural Proof Theory

Cambridge University Press

£94.00 26 Oct 2026
Cambridge University Press - Structural Proof Theory Book
84% match

Cambridge University Press - Structural Proof Theory Book

Cambridge University Press

£38.81 17 Oct 2026
Cambridge Logical Foundations of Proof Complexity Book
82% match

Cambridge Logical Foundations of Proof Complexity Book

Cambridge University Press

£96.31 09 Nov 2026
Cambridge Mathematics of Logic - Completeness Theorems Guide
80% match

Cambridge Mathematics of Logic - Completeness Theorems Guide

Cambridge University Press

£41.02 24 Aug 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
80% match

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

Cambridge University Press

£157.99 18 Oct 2026
Lectures in Game Theory for Computer Scientists
80% match

Lectures in Game Theory for Computer Scientists

Cambridge University Press

£76.94 15 Oct 2026
LMS: 45 Recursion Theory, Applns: Its Generalisations & Applications, Proceedings of Logic Colloquim '79, Leeds, Aug. 1979 (London Mathematical Society Lecture Note Series, Series Number 45)
80% match

LMS: 45 Recursion Theory, Applns: Its Generalisations & Applications, Proceedings of Logic Colloquim '79, Leeds, Aug. 1979 (London Mathematical Society Lecture Note Series, Series Number 45)

Cambridge University Press

£76.00 24 Oct 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.29 27 Oct 2026
Forcing with Random Variables and Proof Complexity: 382 (London Mathematical Society Lecture Note Series, Series Number 382)
79% match

Forcing with Random Variables and Proof Complexity: 382 (London Mathematical Society Lecture Note Series, Series Number 382)

Cambridge University Press

£55.99 16 Oct 2026
Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
79% match

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

Cambridge University Press

£133.49 23 Oct 2026
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)
79% match

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Springer

£69.59 17 Oct 2026
Communication Theory: 20 (London Mathematical Society Student Texts, Series Number 20)
78% match

Communication Theory: 20 (London Mathematical Society Student Texts, Series Number 20)

Cambridge University Press

£33.42 27 Oct 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
78% match

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

Springer

£110.54 24 Oct 2026
Automatic Sequences: Theory, Applications, Generalizations
78% match

Automatic Sequences: Theory, Applications, Generalizations

Cambridge University Press

£23.60 28 Oct 2026
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
78% match

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer

£109.35 22 Oct 2026
Reason and Power in Argumentation
78% match

Reason and Power in Argumentation

Cambridge University Press

£110.00 24 Oct 2026
A Course on Set Theory
78% match

A Course on Set Theory

Cambridge University Press

£39.04 29 Oct 2026
Probability and Inductive Logic (Elements in Philosophy and Logic)
78% match

Probability and Inductive Logic (Elements in Philosophy and Logic)

Cambridge University Press

£49.41 27 Oct 2026
Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
78% match

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

Cambridge University Press

£93.24 21 Oct 2026
An Introduction to Probabilistic Number Theory: 192 (Cambridge Studies in Advanced Mathematics, Series Number 192)
78% match

An Introduction to Probabilistic Number Theory: 192 (Cambridge Studies in Advanced Mathematics, Series Number 192)

Cambridge University Press

£41.80 30 Oct 2026
Homotopy Theory: Proceedings of the Durham Symposium 1985: 117 (London Mathematical Society Lecture Note Series, Series Number 117)
78% match

Homotopy Theory: Proceedings of the Durham Symposium 1985: 117 (London Mathematical Society Lecture Note Series, Series Number 117)

Cambridge University Press

£39.88 23 Oct 2026
Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)
77% match

Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

Birkhauser

£76.42 23 Oct 2026
Discrete Maths Software Engineers: An Introduction for Software Engineers
77% match

Discrete Maths Software Engineers: An Introduction for Software Engineers

Cambridge University Press

£41.80 19 Oct 2026
Programming with Higher-Order Logic
77% match

Programming with Higher-Order Logic

Cambridge University Press

£41.77 23 Oct 2026