Combinators, λ-Terms and Proof Theory
Edición de la obra Combinators, λ-Terms and Proof Theory
| Autor | S. Stenlund |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9789401029131 |
| Número de Cutter | S825c |
Edición de la obra Combinators, λ-Terms and Proof Theory
| Autor | S. Stenlund |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9789401029131 |
| Número de Cutter | S825c |