Instructors: Prof. Dr. rer. nat. Thomas Streicher
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
04-00-0255-vu
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
German
Min. | Max. participants:
- | -
Course Contents:
realizability, modified Realizability, assemblies, tripos, effective topos
|