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: |
| Descripción Física: | 102 páginas |
|---|---|
| ISBN: | 9174102044 |