
Complexity, Logic, and Recursion Theory
Sorbi, Andrea
Forventes utgitt
Handlinger
Beskrivelse
Omtale
"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."
-
Utgivelsesdato:
04.02.1997
-
ISBN/Varenr:
9780824700263
-
Språk:
Engelsk
-
Forlag:
CRC Press Inc
-
Innbinding:
Heftet
-
Fagtema:
Matematikk og naturvitenskap
-
Serie:
Lecture Notes in Pure and Applied Mathematics
-
Litteraturtype:
Faglitteratur
-
Sider:
384
-
Høyde:
28 cm
-
Bredde:
21 cm