Combinators, terms and proof theory.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Dordrecht, Holland :
Reidel,
1972c.
|
| Colección: | Synthese library
|
| Materias: |
Para reservar material debe primero ingresar al sistema
Fac. de Ciencias Económicas
| Inventario | Ej. | Ubicación | Disponibilidad | Estado de Circulación |
|---|---|---|---|---|
| OEO31149 | 519.1=2 S825 | Sala | Disponible |
