Combinators, l-terms and proof theory.
Edición de la obra Combinators, l-terms and proof theory
| Autor | Sören Stenlund |
|---|---|
| Editorial | D. Reidel |
| Fecha de publicación | 1972 |
| Lugar | Dordrecht |
| Idioma | inglés |
| Páginas | 184 |
| Serie | Synthese library |
| Número de Cutter | S825c |