Christopher von Bülow

• Beweisbarkeitslogik
• Dialogische Logik