Ilić, Mirjana. 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.