Computability theory : an introduction to recursion theory /
Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logi...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Enderton, Herbert B. |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; Boston :
Academic Press,
©2011.
|
Temas: | |
Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
Ejemplares similares
-
Computability theory : an introduction to recursion theory /
por: Enderton, Herbert B.
Publicado: (2011) -
Computability, enumerability, unsolvability : directions in recursion theory /
Publicado: (1996) -
Higher recursion theory /
por: Sacks, Gerald E.
Publicado: (2016) -
General recursion theory : an axiomatic approach /
por: Fenstad, Jens Erik
Publicado: (2016) -
Recursion theory : computational aspects of definability /
por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado: (2015)