BRUNNER, A. B. First-order anti-intuitionistic logic with apartness. Logic and Logical Philosophy, [S. l.], v. 13, n. 13, p. 77–88, 2004. DOI: 10.12775/LLP.2004.005. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2004.005. Acesso em: 5 jul. 2024.