£59.49

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

Price data checked 3 days ago

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£59 today · all-time low £59 (Jun 2026) · usually £60

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 88 days • 88 data points

Historical
Generating forecast...
£65.79 £58.84 £60.35 £61.87 £63.39 £64.91 £66.42 09 April 2026 30 April 2026 22 May 2026 13 June 2026 05 July 2026

Price Distribution

Price distribution over 88 days • 2 price levels

Days at Price
Current Price
67 days · current 21 days 0 17 34 50 67 £60 £66 Days at Price

Price Analysis

Most common price: £60 (67 days, 76.1%)

Price range: £60 - £66

Price levels: 2 different prices over 88 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
hardcover
Domain
Amazon UK
Release Date
12 August 2020
Listed Since
20 May 2020

Barcode

No barcode data available

Similar Products You Might Like

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
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
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
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
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
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
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
Routledge - An Introduction to Substructural Logics Book
94% match

Routledge - An Introduction to Substructural Logics Book

Routledge

£137.61 20 Apr 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
An Introduction to the Language of Mathematics
94% match

An Introduction to the Language of Mathematics

Springer

£38.20 07 Mar 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
Ordinal Methods for Behavioral Data Analysis
94% match

Ordinal Methods for Behavioral Data Analysis

Routledge

£50.75 27 Jun 2026
Introduction to Logic and Logical Discourse
94% match

Introduction to Logic and Logical Discourse

Springer

£91.42 03 Jul 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
94% match

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

Oxford University Press

£68.02 17 Mar 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
94% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£83.99 19 Apr 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
94% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£124.51 02 Jul 2026
An Introduction to Substructural Logics
94% match

An Introduction to Substructural Logics

Routledge

£40.47 08 Apr 2026