Añadir a mi colección
Formato
También te puede gustar
How to Think About Algorithms
Jeff Edmonds
2008
Complexity, Logic, and Recursion Theory
Andrea Sorbi
1997
Fundamentals of mathematical logic
Peter G. Hinman
2005
Computability theory
Herbert B. Enderton
2010
Computability, enumerability, unsolvability
S. B. Cooper
1996
Higher recursion theory
Gerald E. Sacks
1990
Recursion-theoretic hierarchies
1978
Aspects of Incompleteness
Per Lindström
