On the estimation of the length of normal derivations /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Gotab Stockholm :
University of Stockholm. Departamento of Philosophy,
c1982.
|
| Colección: | Philosophical studies. Akademilitteratur ;
4) |
| Materias: |
Sistema de Bibliotecas de Universidad de Costa Rica
| Número de Clasificación: |
519.544 |
|---|---|
| Copia | Disponible |