£52.00

Springer Proof Theory: The First Step into Impredicativity (Universitext)

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£52 today · cheaper than every other day in the last 3 months

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

Historical
Generating forecast...
£59.36 £51.26 £53.03 £54.80 £56.56 £58.33 £60.10 11 March 2026 22 March 2026 02 April 2026 13 April 2026 25 April 2026

Price Distribution

Price distribution over 46 days • 2 price levels

Days at Price
Current Price
5 days · current 41 days 0 10 21 31 41 £52 £59 Days at Price

Price Analysis

Most common price: £59 (41 days, 89.1%)

Price range: £52 - £59

Price levels: 2 different prices over 46 days

Description

The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ¨ Wilhelms–Universitat ¨ in Munster ¨ . It was planned as a successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparing it, I decided to also include material which has not been treated in SLN 1407. Since the appearance of SLN 1407 many innovations in the area of - dinal analysis have taken place. Just to mention those of them which are addressed in this book: Buchholz simpli?ed local predicativity by the invention of operator controlled derivations (cf. Chapter 9, Chapter 11); Weiermann detected applications of methods of impredicative proof theory to the characterization of the provable recursive functions of predicative theories (cf. Chapter 10); Beckmann improved Gentzen’s boundedness theorem (which appears as Stage Theorem (Theorem 6. 6. 1) in this book) to Theorem 6. 6. 9, a theorem which is very satisfying in itself - though its real importance lies in the ordinal analysis of systems, weaker than those treated here. Besides these innovations I also decided to include the analysis of the theory (? –REF) as an example of a subtheory of set theory whose ordinal analysis only 2 0 requires a ?rst step into impredicativity. The ordinal analysis of(? –FXP) of non- 0 1 0 monotone? –de?nable inductive de?nitions in Chapter 13 is an application of the 1 analysis of(? –REF).

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
13 October 2008
Listed Since
02 June 2008

Barcode

No barcode data available

Similar Products You Might Like

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
96% match

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Springer

£96.75 01 Mar 2026
Foundations of Mathematics (Contemporary Mathematics): Logic at Harvard Essays in Honor of W. Hugh Woodin's 60th Birthday March 27-29, 2015 Harvard University, Cambridge, MA
96% match

Foundations of Mathematics (Contemporary Mathematics): Logic at Harvard Essays in Honor of W. Hugh Woodin's 60th Birthday March 27-29, 2015 Harvard University, Cambridge, MA

£110.00 17 Feb 2026
Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102
96% match

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

North Holland

£43.49 20 Feb 2026
Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets
96% match

Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets

Get 800 LLC

£43.41 19 Feb 2026
Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
96% match

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

£128.30 13 Jan 2026
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
96% match

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Springer

£48.03 10 May 2026
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
96% match

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Springer

£41.75 29 Jan 2026
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
96% match

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

World Scientific Publishing Company

£74.87 01 May 2026
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)
96% match

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Springer

£97.18 22 Jan 2026
Springer - Reflections on the Foundations of Mathematics 407
96% match

Springer - Reflections on the Foundations of Mathematics 407

Springer

£113.78 09 May 2026
Intuitive Axiomatic Set Theory (Textbooks in Mathematics)
96% match

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

£75.43 12 Jan 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£29.57 28 Apr 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
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
96% match

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Springer

£78.74 12 Jan 2026
A First Course in Mathematical Logic and Set Theory
95% match

A First Course in Mathematical Logic and Set Theory

Wiley

£82.59 13 Jan 2026
Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)
95% match

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

£57.95 23 Feb 2026
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
95% match

Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

Springer

£96.28 10 Feb 2026
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
95% match

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

Cambridge University Press

£57.22 15 Feb 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
95% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
Discrete Mathematics for Computer Science
95% match

Discrete Mathematics for Computer Science

£87.90 19 Apr 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
95% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
A Formalization of Set Theory without Variables (Colloquium Publications)
95% match

A Formalization of Set Theory without Variables (Colloquium Publications)

£84.96 07 Jan 2026
Introduction to Mathematical Logic: Extended Edition
95% match

Introduction to Mathematical Logic: Extended Edition

World Scientific Publishing Company

£71.00 26 Feb 2026
Automated Mathematical Induction
95% match

Automated Mathematical Induction

Springer

£79.04 12 May 2026