Bounds for cut elimination in intuitionistic propositional logic
By: von Jörg Hudelmaier
Contributors: Universität Tübingen
Published: 1989
Language: eng
Number of pages: 36
Notes: Thesis (doctoral)--Eberhard-Karls-Universität zu Tübingen, 1989.