52756

4397980

Luiz Carlos Pereira

Advances in Natural Deduction

Springer

2014

9789400775473 ; 9789400775473 ; 9789400775473 ; 9789400775473 ; 9789400775480 ; 9789400775480 ; 9789400775480 ; 9789400775480