Complexity, logic, and recursion theory
Andrea Sorbi
Integrating two classical approaches to computability, this timely reference offers detailed coverage of recent research at the interface of logic, computability theory, and theoretical computer science. Presents new, never-before-published results and provides information not easily accessible in the literature.
หมวดหมู่:
ปี:
1997
ฉบับพิมพ์ครั้งที่:
1
สำนักพิมพ์:
CRC Press
ภาษา:
english
จำนวนหน้า:
366
ISBN 10:
0824700260
ISBN 13:
9780824700263
ซีรีส์:
Lecture Notes in Pure and Applied Mathematics
ไฟล์:
DJVU, 3.88 MB
IPFS:
,
english, 1997