ILIĆ, M. An Alternative Natural Deduction for the Intuitionistic Propositional Logic. Bulletin of the Section of Logic, [S. l.], v. 45, n. 1, p. 33–51, 2016. DOI: 10.18778/0138-0680.45.1.03. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/1476. Acesso em: 30 apr. 2024.