Roman Tomanek, Argument ontologiczny św. Anzelma w sformalizowanej wersji Ch. Hartshorne'a, Studia Philosophiae Christianae, 1995, 31, 1, s. 99-104