We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£117.88
This is the most expensive it has ever been. Walk away.
£118 today · previous high £118 · all-time low £117
Springer Higher-Order Computability Theory and Applications
2 black & white illustrations, biography
Price data last checked 59 day(s) ago - refreshing...
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 32 days · 32 data points (no recent data)
2 black & white illustrations, biography
Price data last checked 59 day(s) ago - refreshing...
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 32 days • 2 price levels
Price Analysis
Most common price: £118 (22 days, 68.8%)
Price range: £117 - £118
Price levels: 2 different prices over 32 days
Description
Key Features
This Springer book offers a self-contained exposition of the theory of computability in a higher-order context.
The text covers how computable operations may be passed as arguments to other computable operations.
It explores subject matter originating from the 1950s work of Kleene, Kreisel, and other researchers.
The content integrates perspectives from both mathematical logic and computer science fields.
Use this resource to investigate the expressive power of various systems and logical structures.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 3662479915
- 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
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
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
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
MIT Press Computability and Complexity - Theory of Computation
MIT 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
Turing Computability: Theory and Applications (Theory and Applications of Computability)
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
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer