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