Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /
Recursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded,...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | Logic Colloquium Leeds, England |
Otros Autores: | Drake, F. R. (Frank Robert), Wainer, S. S. |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Cambridge ; New York :
Cambridge University Press,
1980.
|
Colección: | London Mathematical Society lecture note series ;
45. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Recursion theory : computational aspects of definability /
por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado: (2015) -
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) -
Higher recursion theory /
por: Sacks, Gerald E.
Publicado: (2016) -
General recursion theory : an axiomatic approach /
por: Fenstad, Jens Erik
Publicado: (2016)