£98.22

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

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£98 today · usual range £68–£99 · best ever £68

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

Historical
Generating forecast…
£98.50 £64.74 £72.11 £79.47 £86.84 £94.20 £101.57 26 June 2026 08 July 2026 20 July 2026 01 August 2026 13 August 2026

Price Distribution

Price distribution over 49 days • 4 price levels

Days at Price
Current Price
7 days 12 days 4 days 26 days · current 0 7 13 20 26 £68 £69 £86 £98 Days at Price

Price Analysis

Most common price: £98 (26 days, 53.1%)

Price range: £68 - £98

Price levels: 4 different prices over 49 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 08 Aug 2026
Cambridge University Press - Structural Proof Theory Book
84% match

Cambridge University Press - Structural Proof Theory Book

Cambridge University Press

£41.79 19 Sep 2026
Cambridge Logical Foundations of Proof Complexity Book
82% match

Cambridge Logical Foundations of Proof Complexity Book

Cambridge University Press

£92.00 23 Sep 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

£129.28 01 Aug 2026
Lectures in Game Theory for Computer Scientists
80% match

Lectures in Game Theory for Computer Scientists

Cambridge University Press

£72.33 29 Jul 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

£71.86 07 Aug 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 08 Aug 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 29 Jul 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

£134.00 06 Aug 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 31 Jul 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 08 Aug 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
78% match

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

Springer

£108.01 06 Aug 2026
Automatic Sequences: Theory, Applications, Generalizations
78% match

Automatic Sequences: Theory, Applications, Generalizations

Cambridge University Press

£25.07 10 Aug 2026
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
78% match

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer

£108.01 05 Aug 2026
Reason and Power in Argumentation
78% match

Reason and Power in Argumentation

Cambridge University Press

£110.00 06 Aug 2026
A Course on Set Theory
78% match

A Course on Set Theory

Cambridge University Press

£39.04 12 Aug 2026
Probability and Inductive Logic (Elements in Philosophy and Logic)
78% match

Probability and Inductive Logic (Elements in Philosophy and Logic)

Cambridge University Press

£42.63 08 Aug 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 04 Aug 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 13 Aug 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.90 06 Aug 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 06 Aug 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.77 01 Aug 2026
Programming with Higher-Order Logic
77% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 05 Aug 2026