Higher recursion theory
Auteur :
Sacks, Gerald E.
Éditeur :
Cambridge University Press
ISBN :
9781107168435
Date de publication :
2 mars 2017
Dimensions :
24,0 x 16,3 x 2,7 cm
Poids :
730 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, α-recursion, and E-recursion.