Diese Veranstaltung ist nur RWTH-Intern zugänglich. Bitte melden Sie sich mit Ihrem RWTH-SSO an. Sollte Ihnen ein Passwort zur Verfügung gestellt worden sein, geben Sie dies bitte hier ein.
|
00:00:46
|
Vollständigkeitssatz, Kompaktheitssatz, Unentscheidbarkeit der FO |