Ilić, Mirjana. “An Alternative Natural Deduction for the Intuitionistic Propositional Logic”. Bulletin of the Section of Logic 45, no. 1 (March 30, 2016): 33–51. Accessed April 8, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/1476.