Hierarchies of predicates of finite types /
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Clarke, D. A. (Douglas Albert) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Providence, R.I. :
American Mathematical Society,
1964.
|
Colección: | Memoirs of the American Mathematical Society ;
no. 51. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Formalized recursive functionals and formalized realizability /
por: Kleene, Stephen Cole, 1909-1994
Publicado: (1969) -
Recursion-theoretic hierarchies /
por: Hinman, Peter G.
Publicado: (2016) -
Minimal degrees of unsolvability and the full approximation construction /
por: Epstein, Richard L., 1947-
Publicado: (1975) -
Computability and logic.
por: Boolos, George
Publicado: (2007) -
Computability and logic.
por: Boolos, George
Publicado: (2002)