DA SILVA, Vinícius Carvalho. Formalização e axiomatização de provas ontológicas: Das conjecturas de Jeans e Schrödinger à formulação computacional de Benzmüller e Woltzenlogel Paleo da prova de Gödel. Perspectivas, [S. l.], v. 2, n. 2, p. 83–113, 2019. DOI: 10.20873/rpv2n2-30. Disponível em: https://sistemas.uft.edu.br/periodicos/index.php/perspectivas/article/view/7933. Acesso em: 29 abr. 2024.