Advances in Natural Deduction: A Celebration of Dag Prawitz's Work

Advances in Natural Deduction: A Celebration of Dag Prawitz’s Work

by: Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria

Publisher: Springer ( 2014-08-07 )

ISBN-13: 9789400775473

e-ISBN-13: 9789400775480

ISBN-10: 9400775474

Edition: 1

Language: English