da Silva, Vinícius Carvalho. 2019. “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 (2):83-113. https://doi.org/10.20873/rpv2n2-30.