Complexity, Logic, and Recursion Theory - Couverture rigide

Livre 74 sur 140: Lecture Notes in Pure and Applied Mathematics

Sorbi, Andrea

 
9781138404106: Complexity, Logic, and Recursion Theory
Couverture rigide
ISBN 10 : 1138404101 ISBN 13 : 9781138404106
Editeur : CRC Press, 2019

Synopsis

Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Andrea Sorbi is Associate Professor in the Department of Mathematics at the University of Siena, Italy. The author or coauthor of several key professional papers and book chapters on computability theory and mathematical logic, he is a member of the American Mathematical Society and the Association for Symbolic Logic, among other organizations. Dr. Sorbi received the Ph.D. degree (1987) in mathematics from the City University of New York, New York.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
CRC Press
Date d'édition
2019
Langue
anglais
ISBN 10 
1138404101
ISBN 13 
9781138404106
Reliure
Relié
Nombre de pages
380
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780824700263: Complexity, Logic, and Recursion Theory

Edition présentée

ISBN 10 :  0824700260 ISBN 13 :  9780824700263
Editeur : CRC Press Inc, 1997
Couverture souple