On the estimation of the length of normal derivations /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Gotab Stockholm :
University of Stockholm. Departamento of Philosophy,
c1982.
|
| Series: | Philosophical studies. Akademilitteratur ;
4) |
| Subjects: |