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, v. 2, n. 2, novembro de 2019, p. 83-113, doi:10.20873/rpv2n2-30.