Advances in Natural Deduction A Celebration of Dag Prawitz's Work - Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria (Springer Netherlands : Imprint: Springer, 2014)