Classical recursion theory, volume ii: volume 143
Auteur :
Odifreddi, P.
Éditeur :
Elsevier Science & Technology
ISBN :
9780444502056
Date de publication :
7 sept. 1999
Dimensions :
24,1 x 15,9 cm
Poids :
1520 g
Langue :
Anglais
Pays d'origine :
USA
Describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. This book presents a detailed picture of the computable sets from the perspective of theoretical computer science. It is suitable for those interested in complexity and computability theory.