Formal reconstructions of St. Anselm's ontological argument. - Günther Eder; Esther Ramharter (Synth., 2015)