Mathematische Logik: Substitution (Do, 16.05.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:22:00
4.5 Substitution
01:10:29
4.6 Äquivalenz und Normalformen