£110.68

Springer Higher-Order Computability (Theory and Applications of Computability)

2 black & white illustrations, biography

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 9 months ago.

£111 today · all-time low £111 (Sep 2025) · usually the usual

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

Historical
Generating forecast...
£117.88 £109.94 £111.67 £113.40 £115.14 £116.87 £118.60 10 June 2024 05 November 2024 03 April 2025 30 August 2025 26 January 2026

Price Distribution

Price distribution over 596 days • 7 price levels

Days at Price
Current Price
106 days · current 127 days 136 days 27 days 87 days 87 days 26 days 0 34 68 102 136 £111 £113 £114 £115 £116 £117 £118 Days at Price

Price Analysis

Most common price: £114 (136 days, 22.8%)

Price range: £111 - £118

Price levels: 7 different prices over 596 days

Description

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of various higher-order programming languages. In contrast to the well-known situation for first-order functions, it turns out that at higher types there are several different notions of computability competing for our attention, and each of these has given rise to its own strand of research. In this book, the authors offer an integrated treatment that draws together many of these strands within a unifying framework, revealing not only the range of possible computability concepts but the relationships between them. The book will serve as an ideal introduction to the field for beginning graduate students, as well as a reference for advanced researchers

Product Specifications

Format
hardcover
Domain
Amazon UK
Publication Date
17 November 2015
Listed Since
17 June 2015

Barcode

No barcode data available

Similar Products You Might Like

Springer Higher-Order Computability Theory and Applications
99% match

Springer Higher-Order Computability Theory and Applications

Springer

£119.24 20 Feb 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 Theory: An Introduction to Recursion Theory
97% match

Computability Theory: An Introduction to Recursion Theory

Academic Press

£51.69 16 Feb 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
97% match

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

Springer

£46.83 10 Apr 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
97% match

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

£61.35 14 Jan 2026
Computability
96% match

Computability

Springer

£47.73 20 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
Computability: An Introduction to Recursive Function Theory
96% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 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)
96% 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 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
Introduction to Metamathematics (Bibliotheca Mathematica)
96% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.29 05 Feb 2026
Introduction to the Theory of Computation
95% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 Mar 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£133.00 01 Apr 2026
Computable Structures and the Hyperarithmetical Hierarchy (Volume 144) (Studies in Logic and the Foundations of Mathematics, Volume 144)
95% 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
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.35 25 Feb 2026
Computability and Complexity
95% match

Computability and Complexity

MIT Press

£47.55 24 Jan 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
Introduction to the Theory of Computation
95% match

Introduction to the Theory of Computation

Cengage Learning

£77.95 17 Mar 2026
The Foundations of Computability Theory
95% match

The Foundations of Computability Theory

Springer

£45.90 15 Feb 2026
Theory of Computation
95% match

Theory of Computation

Wiley

£84.57 09 Mar 2026
Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)
95% match

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

£23.91 17 Dec 2025
Reflections on the Work of C.A.R. Hoare
95% match

Reflections on the Work of C.A.R. Hoare

Springer

£107.73 12 Apr 2026
Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)
95% match

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

Cambridge University Press

£97.46 06 Apr 2026
Computability and Logic
95% match

Computability and Logic

Cambridge University Press

£86.79 11 Apr 2026