ALIZADEH, M.; BIBAK, A. Remarks on Stable Formulas in Intuitionistic Logic. Logic and Logical Philosophy, [S. l.], v. 28, n. 2, p. 209–222, 2018. DOI: 10.12775/LLP.2018.017. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2018.017. Acesso em: 19 apr. 2024.