Kategorie:Modelltheorie der Aussagenlogik/Definitionen

Diese Kategorie ist eine mathematische Definitions-Kategorie.