Complexity, Logic, and Recursion Theory (Reference Shelf)

Andrea Sorbi

ISBN 10: 1138404101 / ISBN 13: 9781138404106

Verlag: CRC Press 2019-06-10, 2019

Beschreibung

Bestandsnummer des Verkäufers 6666-GRD-9781138404106

Bibliografische Details

• Titel: Complexity, Logic, and Recursion Theory (Reference Shelf)
• Verlag: CRC Press 2019-06-10
• Erscheinungsjahr: 2019
• Sprache: Englisch
• ISBN-10: 1138404101
• ISBN-13: 9781138404106
• Einband: Hardcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

"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."

Ü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.