Hauptseminar Mathematische Logik (S2A2) - Entscheidbarkeit und automatisches Beweisen
Dozenten
- Prof. Dr. Philipp Hieronymi
- Prof. Dr. Peter Koepke
Zeit
- Dienstag, 10.15-12.00 Uhr
- Beginn: ...
- Vorbesprechung: Mittwoch, 21. Juli, um 14:30 in der Vorlesung, Zoom-Link
Seminarankündigung als pdf