Gå direkte til innholdet
complexity, logic, and recursion theory
Spar

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."
Forfatter
Andrea Sorbi
ISBN
9780824700263
Språk
Engelsk
Vekt
635 gram
Utgivelsesdato
4.2.1997
Antall sider
384