Mathematische Logik II: (Mo, 11.12.2023)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden

Kapitel:

00:20:21
Satz von Łoś-Tarski
00:33:51
κ-Saturiertheit
00:41:41
Satz von van Benthem
01:00:07
Bisimulationsinvarianz