Complexity, logic, and recursion theory
Auteur :
Sorbi, Andrea
Éditeur :
Taylor & Francis Ltd
ISBN :
9781138404106
Date de publication :
7 juin 2019
Dimensions :
25,4 x 17,8 cm
Poids :
840 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.