Volume 82, Issue 1
February 2006Special Issue “Cut-elimination in Classical and Nonclassical Logic”
- Issue Editor:
-
- Alexander Leitsch
9 articles in this issue