Ilić, M. 2016. An Alternative Natural Deduction for the Intuitionistic Propositional Logic. Bulletin of the Section of Logic. 45, 1 (Mar. 2016), 33–51. DOI:https://doi.org/10.18778/0138-0680.45.1.03.