Recomienda este artículo a tus amigos:
Formalized Recursive Functionals and Formalized Realizability - Memoirs of the American Mathematical Society S.C. Kleene
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de S.C. Kleene
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Formalized Recursive Functionals and Formalized Realizability - Memoirs of the American Mathematical Society
S.C. Kleene
This monograph carries out the program which the author formulated in earlier work, the formalization of the theory of recursive functions of type 0 and 1 and of the theory of realizability.
106 pages
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de diciembre de 1969 |
| ISBN13 | 9780821812891 |
| Editores | American Mathematical Society |
| Páginas | 106 |
| Dimensiones | 150 × 220 × 10 mm · 239 g (Peso (estimado)) |
![Cover for Alex Kasman · Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs - Student Mathematical Library (Paperback Book) [Second edition] (2023)](https://imusic.b-cdn.net/images/item/original/627/9781470472627.jpg?alex-kasman-2023-glimpses-of-soliton-theory-the-algebra-and-geometry-of-nonlinear-pdes-student-mathematical-library-paperback-book&class=scaled&v=1741190549)
