Advances in Natural Deduction

MLA

Pereira, Luiz Carlos, et al. Advances In Natural Deduction. Springer Netherlands, 2014.

APA

Pereira, L. Carlos, Haeusler, E. Hermann, de Paiva, V., & Haeusler, E. (2014). Advances in Natural Deduction. Springer Netherlands.

Chicago

Pereira, Luiz Carlos, Edward Hermann Haeusler, Valeria de Paiva, and Edward Haeusler. Advances In Natural Deduction. : Springer Netherlands, 2014.