TY  - DATA
AU  - Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva
TI  - Advances in Natural Deduction
SN  - 9789400775480
PY  - 2014///
PB  - Springer Netherlands
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-94-007-7548-0
ER  -