Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics, Band 187) - Hardcover

Buch 74 von 140: Lecture Notes in Pure and Applied Mathematics

Sorbi, Andrea

 
9781138404106: Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics, Band 187)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780824700263: Complexity, Logic, and Recursion Theory (Lecture Notes in Pure & Applied Mathematics)

Vorgestellte Ausgabe

ISBN 10:  0824700260 ISBN 13:  9780824700263
Verlag: CRC Press Inc, 1997
Softcover