Lopez-Escobar, E.G.K., e Francisco Miraglia. 1999. “Intuitinistic Equivalence”. Manuscrito: Revista Internacional De Filosofia 22 (2). Campinas, SP:205-66. https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666484.