Mathematische Logik: Vorlesung 12 (Do, 01.06.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

3. Definierbarkeit in der Prädikatenlogik
3.1 Definierbarkeit

Kapitel:

00:00:05
Definierbarkeit in FO
00:26:32
Definierbarkeit einer Struktur