Recomienda este artículo a tus amigos:
Combinators, -Terms and Proof Theory - Synthese Library S. Stenlund 1972 edition
Combinators, -Terms and Proof Theory - Synthese Library
S. Stenlund
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.
187 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de septiembre de 1972 |
| ISBN13 | 9789027703057 |
| Editores | Springer |
| Páginas | 177 |
| Dimensiones | 155 × 235 × 12 mm · 449 g |
| Lengua | Inglés |