We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£119.37
Springer Higher-Order Computability Theory and Applications
Price data last checked 68 day(s) ago - refreshing...
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.
£119 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
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 23 days · 23 data points (no recent data)
Price Distribution
Price distribution over 23 days • 1 price levels
Price Analysis
Most common price: £119 (23 days, 100.0%)
Price range: £119 - £119
Price levels: 1 different prices over 23 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)
Springer
Computability
Springer
A Programming Approach to Computability (Monographs in Computer Science)
Springer
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
MIT Press Computability and Complexity - Theory of Computation
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
Course Technology
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
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Springer
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings: 3526 (Lecture Notes in Computer Science, 3526)
Springer