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 (novembro 16, 2019): 83–113. Acesso em abril 28, 2024. https://sistemas.uft.edu.br/periodicos/index.php/perspectivas/article/view/7933.