da Silva, V. C. 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 2019, 2, 83-113.