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."...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| 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 |
| 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 |