£118.94

This is the most expensive it has ever been. Walk away.

£119 today · previous high £119 · all-time low £117

Springer Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems: 286 (Synthese Library, 286)

Amazon

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)

Historical
Generating forecast…
£118.94 £116.85 £117.31 £117.76 £118.22 £118.67 £119.13 26 July 2026 02 August 2026 10 August 2026 17 August 2026 25 August 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 31 days • 3 price levels

Days at Price
Current Price
11 days 19 days 1 day · current 0 5 10 14 19 £117 £118 £119 Days at Price

Price Analysis

Most common price: £118 (19 days, 61.3%)

Price range: £117 - £119

Price levels: 3 different prices over 31 days

Description

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
06 December 2010
Listed Since
14 June 2010

Barcode

No barcode data available

Similar Products You Might Like

Higher Recursion Theory 2 - Perspectives in Logic Series
97% match

Higher Recursion Theory 2 - Perspectives in Logic Series

Cambridge University Press

£72.45 02 Oct 2026
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers: Volume 125 (Studies in Logic and the Foundations of Mathematics, Volume 125)
97% match

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers: Volume 125 (Studies in Logic and the Foundations of Mathematics, Volume 125)

Elsevier

£67.99 06 Sep 2026
Wiley Thinking Recursively - Computer Science Textbook
96% match

Wiley Thinking Recursively - Computer Science Textbook

Wiley

£96.76 25 Aug 2026
COMPUTATIONAL PROSPECTS OF INFINITY - PART II: PRESENTED TALKS: 15 (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)
96% match

COMPUTATIONAL PROSPECTS OF INFINITY - PART II: PRESENTED TALKS: 15 (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)

Scientific Publishing

£71.69 18 Sep 2026
Models of Peano Arithmetic: 15 (Oxford Logic Guides)
96% match

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Oxford University Press

£168.48 26 Sep 2026
COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)
96% match

COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)

Scientific Publishing

£58.83 18 Sep 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£47.12 08 Sep 2026
Computability and Logic
96% match

Computability and Logic

Cambridge University Press

£90.00 30 Sep 2026
Recursion Theory: Lecture Notes in Logic 1 (Aatdf Monographs)
96% match

Recursion Theory: Lecture Notes in Logic 1 (Aatdf Monographs)

Routledge

£53.19 24 Sep 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£159.17 24 Sep 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£110.00 26 Sep 2026
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
96% match

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Oxford University Press

£285.30 26 Sep 2026
Computability
96% match

Computability

Springer

£48.19 11 Sep 2026
Introduction to Metamathematics (Bibliotheca Mathematica)
96% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.93 01 Sep 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.93 12 Sep 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

£43.02 26 Aug 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£130.33 29 Sep 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
95% match

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

Springer

£49.76 11 Sep 2026