Complexity, Logic, and Recursion Theory - Rilegato

Sorbi, Andrea

 
9781138404106: Complexity, Logic, and Recursion Theory
Rilegato
ISBN 10: 1138404101 ISBN 13: 9781138404106
Casa editrice: CRC Press, 2019

Sinossi

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
CRC Press
Data di pubblicazione
2019
Lingua
Inglese
ISBN 10 
1138404101
ISBN 13 
9781138404106
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
380
Contatto del produttore
CRC Press
https://www.routledge-ny.com

6000 BROKEN SOUND PARKWAY, NW SUITE 300
BOCA RATON
FL
33487
U.S.A.
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780824700263: Complexity, Logic, and Recursion Theory

Edizione in evidenza

ISBN 10:  0824700260 ISBN 13:  9780824700263
Casa editrice: CRC Press, 1997
Brossura