Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Higher-Order Computability

Higher-Order Computability

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783662479919
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $139.00 - $139.00
BEST PRICE

Single Product Purchase

$139.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$139.00 $139.00

$139.00
See Site In stock Visit Store

Similar Products

Core-Shell and Yolk-Shell Nanocatalysts

$149.00

Witchcraft and Masculinities in Early Modern Europe

$159.99

Omics of Climate Resilient Millets

$169.99

Recent Advances in Mechanical Engineering

$169.99

Handbook of Tableau Methods

$219.99

Mobile Health Applications

$159.99

Beyond Foraging and Collecting

$169.99

Carbid und Acetylen

$69.99

Forecasts for the World Rubber Economy to the Year 2000

$74.99

Reliability, Maintenance and Logistic Support

$219.99

Knstliche Intelligenz und Data Science in Theorie und Praxis

$39.99

Handbook on Analyzing Human Genetic Data

$129.00

Learning from Shanghai

$84.99

Swindle: Hideout

$6.74

Artificial Neural Networks in Pattern Recognition

$54.99

Lsungen zum Lehrbuch Buchfhrung 1 DATEV-Kontenrahmen 2017

$19.99

Partial Differential Equations

$199.99

Signal Transduction Protocols

$169.99

Source Modeling Techniques for Quality Enhancement in Statistical Parametric Speech Synthesis

$39.99

The 2021 Yearbook of the Digital Ethics Lab

$159.99

Passive and Active Measurement

$39.99

Hydrological Changes and Estuarine Dynamics

$54.99

Gewerbehygiene und Klinik der Kieselgursilikose

$59.99

Protection of Civilian Infrastructure from Acts of Terrorism

$219.99

The Neural Crest and Neural Crest Cells in Vertebrate Development and Evolution

$169.99

Monogen bedingte Erbkrankheiten 1

$59.99

The Practice of Enterprise Modeling

$59.99

The Colour Image Processing Handbook

$169.99

Industrielle und gewerbliche Dienstleistungen

$59.99

Networks, Topology and Dynamics

$109.99

Methods in Ecoacoustics

$84.99

A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources

$84.99

Recent Advances in Power Electronics and Drives

$249.99

Dynamic Light Scattering

$219.99

Exploring RANDOMNESS

$109.99

Korean Women in Leadership

$199.99

As vamos a la escuela

$5.24

Phenomenological Method: Theory and Practice

$169.00

Numerische Mathematik fr Ingenieure und Physiker

$49.99

Metaphor and Analogy in Science Education

$109.99