Combinators, λ-Terms and Proof Theory
Edición de la obra Combinators, λ-Terms and Proof Theory
| Autor | S. Stenlund |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Oct 12, 2011 |
| Páginas | 187 |
| Formato | paperback |
| ISBN-13 | 9789401029155 |
| ISBN-10 | 9401029156 |
| Número de Cutter | S825c |