Content
Bounds for Cut Elimination for Propositional Intuitionistic Logic
CIS-Bericht-90-3, erschienen im Archive for Mathematical Logic, 1991.
| Authors/Editors: |
Jörg Hudelmaier |
|---|---|
| Publication Date: | 1990 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |