Ilić M. An Alternative Natural Deduction for the Intuitionistic Propositional Logic. B Sect Log [Internet]. 2016 Mar. 30 [cited 2025 Dec. 8];45(1):33–51. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/1476