SILVESTRE, R.S. 2018. Sobre a formalização lógica do argumento ontológico de Anselmo. Revista Brasileira de Filosofia da Religião. 2, 1 (out. 2018), 142–161.