Recomienda este artículo a tus amigos:
Combinators, -Terms and Proof Theory - Synthese Library S. Stenlund Softcover reprint of the original 1st ed. 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.
194 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de octubre de 2011 |
| ISBN13 | 9789401029155 |
| Editores | Springer |
| Páginas | 177 |
| Dimensiones | 155 × 235 × 10 mm · 276 g |
| Lengua | Inglés |