SILVESTRE, R. S. Sobre a formalização lógica Do Argumento ontológico De Anselmo. RBFR 2018, 2, 142-161.