Mathematische Logik: Vorlesung 18 (Mi, 05.07.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

4.3 Der Beweis des Vollständigkeitssatzes

Kapitel:

00:37:02
Hintikka-Mengen und der Modell-Existenz-Satz
00:56:47
Definition: Hintikka-Menge