Téléchargez le livre : Classical Recursion Theory

Classical Recursion Theory

The Theory of Functions and Sets of Natural Numbers

de

Éditeur :

North Holland


Paru le : 1992-02-04



eBook Téléchargement ebook sans DRM
73,80 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
Pages
667 pages
Collection
n.c
Parution
1992-02-04
Marque
North Holland
EAN papier
9780444872951
EAN PDF SANS DRM
9780080886596
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
73,80 €

Suggestions personnalisées