Zum Inhalt springen

Kategorie:Ableitungskalkül der Prädikatenlogik/Bemerkungen