Higher recursion theory /
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Sacks, Gerald E. (Autor) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge ; New York :
Cambridge University Press,
[2016]
|
Colección: | Perspectives in logic ;
2. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
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) -
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /
Publicado: (1980) -
Recursion theory for metamathematics /
por: Smullyan, Raymond M.
Publicado: (1993) -
Recursion theory : computational aspects of definability /
por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado: (2015)