General recursion theory: an axiomatic approach
Auteur :
Fenstad, Jens E.
Éditeur :
Cambridge University Press
ISBN :
9781107168169
Date de publication :
2 mars 2017
Dimensions :
24,0 x 16,3 x 1,9 cm
Poids :
530 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.