£47.73

Springer Computability

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

View at Amazon

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

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

£48 today · previous high £48 · all-time low £44

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

Historical
Generating forecast...
£47.73 £43.31 £44.27 £45.24 £46.20 £47.17 £48.13 10 June 2024 12 November 2024 16 April 2025 18 September 2025 20 February 2026

Price Distribution

Price distribution over 621 days • 4 price levels

Days at Price
Current Price
119 days 38 days 459 days 5 days · current 0 115 230 344 459 £44 £46 £47 £48 Days at Price

Price Analysis

Most common price: £47 (459 days, 73.9%)

Price range: £44 - £48

Price levels: 4 different prices over 621 days

Description

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of “mechanical process” using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Advanced chapters cover the Ackerman function, Tarski’s theorem on the non-representability of truth, Goedel’s incompleteness and Rosser’s incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church’s thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oraclecomputations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum’s complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
03 August 2023
Listed Since
13 May 2023

Barcode

No barcode data available

Similar Products You Might Like

Computability: An Introduction to Recursive Function Theory
98% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 Jan 2026
Computability Theory: An Introduction to Recursion Theory
97% match

Computability Theory: An Introduction to Recursion Theory

Academic Press

£51.69 16 Feb 2026
Computability and Logic
97% match

Computability and Logic

Cambridge University Press

£86.79 11 Apr 2026
Theory of Computation
97% match

Theory of Computation

Wiley

£84.57 09 Mar 2026
Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)
97% match

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

CRC Press

£153.82 15 Jan 2026
Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)
97% match

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Chapman and Hall/CRC

£85.97 23 Jan 2026
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
97% match

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

Morgan Kaufmann

£40.00 10 Jan 2026
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: 3988 (Lecture Notes in Computer Science, 3988)
97% match

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: 3988 (Lecture Notes in Computer Science, 3988)

Springer

£84.22 04 Apr 2026
Computability and Complexity
96% match

Computability and Complexity

MIT Press

£47.55 24 Jan 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Springer

£46.83 10 Apr 2026
Higher-Order Computability (Theory and Applications of Computability)
96% match

Higher-Order Computability (Theory and Applications of Computability)

Springer

£110.68 26 Jan 2026
Springer Higher-Order Computability Theory and Applications
96% match

Springer Higher-Order Computability Theory and Applications

Springer

£119.24 20 Feb 2026
Computability In Context: Computation And Logic In The Real World
96% match

Computability In Context: Computation And Logic In The Real World

Imperial College Press

£87.00 01 Mar 2026
What Can Be Computed? – A Practical Guide to the Theory of Computation
96% match

What Can Be Computed? – A Practical Guide to the Theory of Computation

Princeton University Press

£39.35 25 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
Computable Structures and the Hyperarithmetical Hierarchy (Volume 144) (Studies in Logic and the Foundations of Mathematics, Volume 144)
96% match

Computable Structures and the Hyperarithmetical Hierarchy (Volume 144) (Studies in Logic and the Foundations of Mathematics, Volume 144)

Elsevier

£89.00 07 Jan 2026
Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)
96% match

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)

£23.91 17 Dec 2025
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

£61.35 14 Jan 2026
Introduction to Metamathematics (Bibliotheca Mathematica)
96% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.29 05 Feb 2026
Turing Computability: Theory and Applications (Theory and Applications of Computability)
96% match

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer

£46.10 25 Feb 2026
A Programming Approach to Computability (Monographs in Computer Science)
96% match

A Programming Approach to Computability (Monographs in Computer Science)

Springer

£52.53 08 Mar 2026
Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)
96% match

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Cambridge University Press

£97.46 06 Apr 2026
Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)
96% match

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

CRC Press

£250.00 08 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