£50.87

Springer Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)

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

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.

£51 today · previous high £51 · all-time low £50

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

Historical
Generating forecast...
£50.87 £50.27 £50.40 £50.53 £50.66 £50.79 £50.93 09 April 2026 16 April 2026 24 April 2026 01 May 2026 09 May 2026

Price Distribution

Price distribution over 31 days • 2 price levels

Days at Price
Current Price
21 days 10 days · current 0 5 11 16 21 £50 £51 Days at Price

Price Analysis

Most common price: £50 (21 days, 67.7%)

Price range: £50 - £51

Price levels: 2 different prices over 31 days

Description

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
13 August 2021
Listed Since
16 July 2021

Barcode

No barcode data available

Similar Products You Might Like

Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
99% match

Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)

Springer

£59.49 05 Jul 2026
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
95% match

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

Oxford University Press

£108.05 10 Jun 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
95% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£64.82 16 Jun 2026
Ordinal Data Modeling (Statistics for Social and Behavioral Sciences)
95% match

Ordinal Data Modeling (Statistics for Social and Behavioral Sciences)

Springer

£29.57 15 May 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
95% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£69.39 02 Jul 2026
Mathematical Logic (Undergraduate Texts in Mathematics)
94% match

Mathematical Logic (Undergraduate Texts in Mathematics)

Springer

£53.99 20 Jun 2026
Springer Mathematical Problems from Applied Logic I - Vol 4
94% match

Springer Mathematical Problems from Applied Logic I - Vol 4

Springer

£70.61 30 Apr 2026
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
94% match

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer

£61.83 04 Jul 2026
Partial Order Concepts in Applied Sciences
94% match

Partial Order Concepts in Applied Sciences

Springer

£76.38 13 May 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
94% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£157.85 10 Mar 2026
Proof Analysis: A Contribution to Hilbert's Last Problem
94% match

Proof Analysis: A Contribution to Hilbert's Last Problem

Cambridge University Press

£81.77 02 May 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
94% match

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

Cambridge University Press

£46.55 03 Jul 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
94% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

De Gruyter

£70.56 13 Jun 2026
Proof Theory: The First Step into Impredicativity (Universitext)
94% match

Proof Theory: The First Step into Impredicativity (Universitext)

Springer

£52.00 25 Apr 2026
An Introduction to Order Statistics: 3 (Atlantis Studies in Probability and Statistics, 3)
94% match

An Introduction to Order Statistics: 3 (Atlantis Studies in Probability and Statistics, 3)

Springer

£39.35 20 Apr 2026
Wiley Analysis of Ordinal Categorical Data - Statistics Book
94% match

Wiley Analysis of Ordinal Categorical Data - Statistics Book

Wiley-Blackwell

£130.00 27 Apr 2026
Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)
94% match

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

Oxford University Press

£82.10 19 Jun 2026
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)
94% match

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Oxford University Press

£66.72 17 Mar 2026
Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)
94% match

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

£43.58 17 Jun 2026
An Introduction to the Language of Mathematics
94% match

An Introduction to the Language of Mathematics

Springer

£38.20 07 Mar 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
94% match

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

North Holland

£49.99 02 Jul 2026
Routledge - An Introduction to Substructural Logics Book
94% match

Routledge - An Introduction to Substructural Logics Book

Routledge

£137.61 20 Apr 2026
Ordinal Methods for Behavioral Data Analysis
94% match

Ordinal Methods for Behavioral Data Analysis

Routledge

£50.75 27 Jun 2026
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
94% match

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Springer

£98.51 07 Mar 2026