Complexity, logic, and recursion theory
Sorbi, Andrea
"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."
Abstract: "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."
Abstract: "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."
Kategoriler:
Yıl:
2019
Yayımcı:
CRC Press
Dil:
english
ISBN 10:
0824700260
ISBN 13:
9781482269758
Seriler:
Lecture notes in pure and applied mathematics 187
Dosya:
PDF, 35.29 MB
IPFS:
,
english, 2019