£96.93

Elsevier Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Price data last checked 107 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.

£97 today · usual range £0–£0 · best ever £38

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

Historical
Generating forecast...
£117.33 £30.57 £49.50 £68.43 £87.36 £106.29 £125.22 01 November 2025 29 November 2025 27 December 2025 24 January 2026 22 February 2026

Price Distribution

Price distribution over 114 days • 8 price levels

Days at Price
Current Price
3 days 2 days · current 2 days 17 days 33 days 2 days 52 days 3 days 0 13 26 39 52 £38 £97 £104 £110 £112 £115 £116 £117 Days at Price

Price Analysis

Most common price: £116 (52 days, 45.6%)

Price range: £38 - £117

Price levels: 8 different prices over 114 days

Description

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
13 July 1998
Listed Since
05 February 2007

Barcode

No barcode data available

Similar Products You Might Like

How to Prove It: A Structured Approach
97% match

How to Prove It: A Structured Approach

Cambridge University Press

£85.03 13 Jan 2026
Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)
97% match

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Cambridge University Press

£115.46 16 Feb 2026
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
97% match

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Springer

£77.43 28 Feb 2026
Understanding Mathematical Proof
97% match

Understanding Mathematical Proof

CRC Press

£40.99 17 Apr 2026
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
96% match

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

World Scientific Publishing Company

£58.86 08 Mar 2026
Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)
96% match

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

CRC Press

£80.00 22 Feb 2026
Science Of Learning Mathematical Proofs, The: An Introductory Course
96% match

Science Of Learning Mathematical Proofs, The: An Introductory Course

World Scientific Publishing Company

£63.09 05 Mar 2026
Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)
96% match

Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Oxford University Press

£64.39 25 Jan 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
96% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£43.24 24 Feb 2026
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
96% match

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

£110.54 09 Dec 2025
Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)
96% match

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press

£50.59 22 Feb 2026
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
96% match

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

Wiley

£65.06 17 Mar 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£54.59 15 Feb 2026
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
96% match

Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

£86.50 17 Apr 2026
Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)
96% match

Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)

£45.22 16 Feb 2026
Springer Advances in Mathematics Education Research on Proof
96% match

Springer Advances in Mathematics Education Research on Proof

Springer

£115.51 18 Apr 2026
Language, Proof and Logic 2e +CD: Second Edition
96% match

Language, Proof and Logic 2e +CD: Second Edition

University of Chicago Press

£52.50 12 Jan 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
96% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

£61.17 11 Jan 2026
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
96% match

An Introduction to Mathematical Proofs (Textbooks in Mathematics)

CRC Press

£89.13 07 Jan 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
96% match

An Introduction to Mathematical Proofs (Textbooks in Mathematics)

CRC Press

£44.95 20 Feb 2026
Proof, Logic and Formalization
96% match

Proof, Logic and Formalization

Routledge

£127.67 14 Jan 2026
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
96% match

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer

£107.27 27 Feb 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
96% match

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

Cambridge University Press

£94.38 12 Jan 2026