Combinators, ?-Terms and Proof Theory
Edición de la obra Combinators, ?-Terms and Proof Theory
| Autor | S. Stenlund |
|---|---|
| Editorial | Island Press |
| Fecha de publicación | 1972 |
| Idioma | inglés |
| ISBN-13 | 9789401029148 |
| Número de Cutter | S825c |
Edición de la obra Combinators, ?-Terms and Proof Theory
| Autor | S. Stenlund |
|---|---|
| Editorial | Island Press |
| Fecha de publicación | 1972 |
| Idioma | inglés |
| ISBN-13 | 9789401029148 |
| Número de Cutter | S825c |