Complexity, logic, and recursion theory /

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

Full description

Bibliographic Details
Corporate Author: Taylor & Francis
Other Authors: Sorbi, Andrea, 1956- (Editor)
Format: eBook
Language:English
Published: Bacon Raton : CRC Press, 2019.
Series:Lecture notes in pure and applied mathematics ; 187
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Summary:"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."
Physical Description:1 online resource.
ISBN:9780429187490
0429187491
9780429529955
0429529953
9781482269758
1482269759
9780429544651
0429544650