da Silva, V. C. (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), p. 83–113. doi: 10.20873/rpv2n2-30.