CHLEBOWSKI, S.; LESZCZYŃSKA-JASION, D. An Investigation into Intuitionistic Logic with Identity. Bulletin of the Section of Logic, [S. l.], v. 48, n. 4, p. 259–283, 2019. DOI: 10.18778/0138-0680.48.4.02. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/6272. Acesso em: 3 may. 2024.