Füge „Applied Proof Theory“ hinzu.

This commit is contained in:
Gonne 2023-10-26 11:29:01 +02:00
parent e32d5023aa
commit a631c33883

View file

@ -15,6 +15,7 @@ INSERT INTO `course` (name) VALUES
('Analysis I'), ('Analysis I'),
('Analysis II (engl.)'), ('Analysis II (engl.)'),
('Analysis II'), ('Analysis II'),
('Applied Proof Theory'),
('Aussagen- und Prädikatenlogik'), ('Aussagen- und Prädikatenlogik'),
('Automaten, Formale Sprachen und Entscheidbarkeit'), ('Automaten, Formale Sprachen und Entscheidbarkeit'),
('Banach- und C*-Algebren'), ('Banach- und C*-Algebren'),