£117.58

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

Price data last checked 132 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.

£118 today · usual range £0–£0 · best ever £51

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

Historical
Generating forecast...
£118.78 £44.68 £60.85 £77.02 £93.18 £109.35 £125.52 09 June 2024 05 November 2024 04 April 2025 31 August 2025 28 January 2026

Price Distribution

Price distribution over 599 days • 9 price levels

Days at Price
Current Price
108 days 8 days 98 days 140 days 97 days 32 days 8 days 41 days · current 67 days 0 35 70 105 140 £51 £56 £104 £107 £113 £115 £117 £118 £119 Days at Price

Price Analysis

Most common price: £107 (140 days, 23.4%)

Price range: £51 - £119

Price levels: 9 different prices over 599 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

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

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

£95.81 17 Apr 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)

North Holland

£67.99 13 Feb 2026
Computability: An Introduction to Recursive Function Theory
97% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 Jan 2026
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)
97% match

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

Oxford University Press

£84.97 07 Jan 2026
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
97% match

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Routledge

£89.71 23 Jan 2026
Thinking Recursively
96% match

Thinking Recursively

Wiley

£87.98 26 Jan 2026
Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)
96% match

Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)

North Holland

£115.00 13 Jan 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

£36.32 01 Mar 2026
Models of Peano Arithmetic: 15 (Oxford Logic Guides)
96% match

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Oxford University Press

£133.10 17 Mar 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.04 28 Feb 2026
Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)
96% match

Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)

CRC Press

£135.35 12 Jan 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026
Computability and Logic
96% match

Computability and Logic

Cambridge University Press

£86.79 11 Apr 2026
Recursion Theory: Lecture Notes in Logic 1 (Aatdf Monographs)
96% match

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

Routledge

£52.99 09 Mar 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.67 10 Mar 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.43 17 Mar 2026
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
96% match

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

Oxford University Press

£199.83 17 Mar 2026
Computability
96% match

Computability

Springer

£47.73 20 Feb 2026
Introduction to Metamathematics (Bibliotheca Mathematica)
96% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.29 05 Feb 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.35 25 Feb 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
Recursion Theory: Lecture Notes in Logic 1
96% match

Recursion Theory: Lecture Notes in Logic 1

CRC Press

£170.04 13 Jan 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

£133.00 01 Apr 2026
Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)
95% match

Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)

CRC Press

£153.82 15 Jan 2026