Edward Nieznański, Formalized Proofs of the Existence of God, Collectanea Theologica, 1994, 64, Fasciculus specialis, s. 109-122