Recursive functionals /
This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical fun...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York :
North-Holland,
1992.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 131. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Internet
Texto completoTexto completo
Texto completo