Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 2014 · ENGLISH · PDF View details →