Advances in Natural Deduction - Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria; Haeusler, Edward (Springer Netherlands, 2014)