![](/img/cover-not-exists.png)
Cut-Elimination in Classical and Nonclassical Logic || Cut Elimination inside a Deep Inference System for Classical Predicate Logic
Kai BrünnlerVolume:
82
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016767
Date:
February, 2006
File:
PDF, 1.99 MB
english, 2006