by S. B. Cooper
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Computer Technology · Nonfiction
How to Think About Algorithms
2008
Model theory · Recursion theory
Fundamentals of mathematical logic
2005
Recursion theory
Computability theory
2010
Recursion theory · Recursivité, Théorie de la
Computability, enumerability, unsolvability
1996
Higher recursion theory
1990
Hierarchies · Recursion theory
Recursion-theoretic hierarchies
1978
Recursive analysis
Recursion theory · Computable functions
Computable Analysis
2000
Computational complexity · Recursion theory
Bounded queries in recursion theory
1998
