Advances in Natural Deduction: A Celebration of Dag Prawitz’s Work
Authors: Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria
Get this book Contact Email: girro@qq.com
Publisher: Springer ( 2014-08-07 )
ISBN-13: 9789400775473
e-ISBN-13: 9789400775480
ISBN-10: 9400775474
QQ: 7450911
Edition: 1
Language: English
未经允许不得转载：电子书百科大全 » Advances in Natural Deduction: A Celebration of Dag Prawitz’s Work