We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£118.23
It has never been this cheap. We have no record of a lower price.
£118 today · cheaper than every other day in the last 3 months
Springer Higher-Order Computability Theory and Applications
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 48 days · 48 data points (no recent data)
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 Distribution
Price distribution over 48 days • 3 price levels
Price Analysis
Most common price: £119 (31 days, 64.6%)
Price range: £118 - £122
Price levels: 3 different prices over 48 days
Description
Key Features
This Springer book provides a self-contained exposition of higher-order computability theory.
The text explores how computable operations serve as arguments to other computable operations.
It covers the foundational work of Kleene and Kreisel that originated in the 1950s.
Content includes developments from both mathematical logic and computer science fields.
The material helps investigate the expressive power of various systems and logical structures.
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
Springer Higher-Order Computability Theory and Applications
Springer
Chapman Hall/CRC Computability Theory Mathematics Book
Chapman and Hall/CRC
Computability Theory: An Introduction to Recursion Theory
Elsevier
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
Springer
Springer - Programs as Diagrams: Categorical 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
Course Technology Introduction to the Theory of Computation 3E
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
Course Technology Introduction to the Theory of Computation 3E
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