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 July 23, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/1476.