Logic, computation, hierarchies
Éditeur :
De Gruyter
ISBN :
9781614517832
Date de publication :
28 juil. 2014
Dimensions :
23,0 x 15,5 cm
Poids :
735 g
Langue :
Anglais
Pays d'origine :
USA
Published in honor of Victor L Selivanov, this book collects 17 articles that inform on the developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic.