Anselms "Proslogion" als performativ-illokutionärer und als kognitiv-propositionaler Text und die zweifache Aufgabe der Theologie - Wimmer, Reiner (Klassische Gottesbeweise in der Sicht der gegenwärtigen Logik und Wissenschaftstheorie, 1991)