Combinators, terms and proof theory.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Dordrecht, Holland :
Reidel,
1972c.
|
| Colección: | Synthese library
|
| Materias: |
| Notas: | Bibliografía: p. 177-180. |
|---|---|
| Descripción Física: | 184 p. ; 22 cm. |
| ISBN: | 9027703051 |
