Volume 102, Issue 6
December 2014Special Issue: Gentzen's and Jaśkowski's Heritage 80 Years of Natural Deduction and Sequent Calculi
- Issue Editor:
-
- Andrzej Indrzejczak
9 articles in this issue