We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£119.24
Springer Higher-Order Computability Theory and Applications
Price data last checked 111 day(s) ago - refreshing...
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.
£119 today · usual range £0–£0 · best ever £113
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 620 days • 620 data points (No recent data available)
Price Distribution
Price distribution over 620 days • 7 price levels
Price Analysis
Most common price: £114 (296 days, 47.7%)
Price range: £114 - £140
Price levels: 7 different prices over 620 days
Description
Key Features
Provides a self-contained exposition of higher-order computability theory for students and researchers.
Covers the fundamental concept of passing computable operations as arguments to other operations.
Traces the historical development of the subject from the work of Kleene and Kreisel in the 1950s.
Explains how these ideas clarify the constructive content found within different logical systems.
Assists in the investigation of the expressive power of various computational frameworks.
Integrates perspectives from both mathematical logic and computer science disciplines.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3662517116
- Domain
- Amazon UK
- Release Date
- 23 August 2016
- Listed Since
- 21 May 2016
Barcode
No barcode data available
Similar Products You Might Like
Higher-Order Computability (Theory and Applications of Computability)
Springer
Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)
Chapman and Hall/CRC
Computability Theory: An Introduction to Recursion Theory
Academic Press
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
Springer
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
Computability
Springer
A Programming Approach to Computability (Monographs in Computer Science)
Springer
Computability: An Introduction to Recursive Function Theory
Cambridge University Press
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
Computability In Context: Computation And Logic In The Real World
Imperial College Press
Introduction to Metamathematics (Bibliotheca Mathematica)
North Holland
Introduction to the Theory of Computation
Course Technology
Computability and Complexity
MIT Press
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)
CRC Press
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Introduction to the Theory of Computation
Cengage Learning
The Foundations of Computability Theory
Springer
Theory of Computation
Wiley
Reflections on the Work of C.A.R. Hoare
Springer
Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)
Cambridge University Press
Computability and Logic
Cambridge University Press
Theory of Computation (Texts in Computer Science)
Springer
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Springer