Kategorie:Substitutionstheorie der Prädikatenlogik

Diese Kategorie ist eine mathematische Theorie-Kategorie.