Book

Advances in Natural Deduction

by Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva