£96.75

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

Price data last checked 101 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 £67

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

Historical
Generating forecast...
£109.99 £62.56 £72.91 £83.26 £93.60 £103.95 £114.30 10 June 2024 14 November 2024 20 April 2025 24 September 2025 01 March 2026

Price Distribution

Price distribution over 630 days • 5 price ranges

Days at Price
Current Price
17 days 3 days 433 days 174 days · current 3 days 0 108 217 325 433 £67-75 £75-84 £84-93 £93-101 £101-110 Days at Price

Price Analysis

Most common range: £84-93 (433 days, 68.7%)

Price range: £67 - £110

Price levels: 5 price ranges over 630 days

Description

This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, type-free logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~-analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie".

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
17 November 2011
Listed Since
13 July 2012

Barcode

No barcode data available

Similar Products You Might Like

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

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

Cambridge University Press

£43.24 24 Feb 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

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

Oxford University Press

£68.02 17 Mar 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
97% match

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

Springer

£98.51 07 Mar 2026
Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)
97% match

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Paysages Mathématiques

£47.19 07 Mar 2026
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
97% match

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

Springer

£41.75 29 Jan 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
A Formalization of Set Theory without Variables (Colloquium Publications)
96% match

A Formalization of Set Theory without Variables (Colloquium Publications)

£84.96 07 Jan 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
96% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

£52.43 11 Jan 2026
Springer - A Short Introduction to Intuitionistic Logic Book
96% match

Springer - A Short Introduction to Intuitionistic Logic Book

Springer

£105.83 20 Apr 2026
Propositional Logics Third Edition
96% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
96% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£111.23 04 Feb 2026
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
96% match

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Birkhauser

£60.17 23 Jan 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
96% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
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
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
96% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 20 Feb 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
96% match

Displaying Modal Logic: 3 (Trends in Logic, 3)

Springer

£105.95 07 Mar 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
96% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

£85.45 08 Jan 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
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
96% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£41.89 17 Feb 2026
Logic for Applications (Texts in Computer Science)
96% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
96% match

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Springer

£104.80 04 Feb 2026
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
96% match

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

£96.05 02 Mar 2026