Complexity, Logic, and Recursion Theory

ISBN: 9780824700263 出版年：2019 页码：380 Sorbi, Andrea CRC Press

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