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