登入選單
返回Google圖書搜尋
Complexity, Logic, and Recursion Theory
Andrea Sorbi
出版CRC Press, 2019-05-07
主題Mathematics / GeneralMathematics / Applied
ISBN14822697599781482269758
URLhttp://books.google.com.hk/books?id=BUqfDwAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋"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."