£116.59

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

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£117 today · cheaper than every other day in the last 3 months

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 56 days · 56 data points (no recent data)

Historical
Generating forecast…
£121.13 £116.14 £117.23 £118.32 £119.40 £120.49 £121.58 26 April 2026 09 May 2026 23 May 2026 06 June 2026 20 June 2026

Price Distribution

Price distribution over 56 days • 3 price levels

Days at Price
Current Price
45 days · current 7 days 4 days 0 11 23 34 45 £117 £120 £121 Days at Price

Price Analysis

Most common price: £117 (45 days, 80.4%)

Price range: £117 - £121

Price levels: 3 different prices over 56 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

£72.45 15 Jul 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 29 Jun 2026
Thinking Recursively
96% match

Thinking Recursively

Wiley

£94.39 19 Jun 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

£87.69 06 Jul 2026
Models of Peano Arithmetic: 15 (Oxford Logic Guides)
96% match

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Oxford University Press

£145.59 11 Jul 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

£67.02 05 Jul 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£47.08 29 Jun 2026
Computability and Logic
96% match

Computability and Logic

Cambridge University Press

£84.59 13 Jul 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 Jul 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

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

Constructive Models (Siberian School of Algebra and Logic)

Springer

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

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

Oxford University Press

£182.97 11 Jul 2026
Computability
96% match

Computability

Springer

£48.25 02 Jul 2026
Introduction to Metamathematics (Bibliotheca Mathematica)
96% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.93 24 Jun 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.92 03 Jul 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

£39.07 20 Jun 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 12 Jul 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
95% match

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

Springer

£50.10 02 Jul 2026