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 2, no. 2 (noviembre 16, 2019): 83–113. Accedido abril 13, 2025. https://sistemas.uft.edu.br/periodicos/index.php/perspectivas/article/view/7933.