Seminar Logic and Theoretical Computer Science
Students as well as members of the Logic and Theory Research Group (LTG) present their current work. The main topics are: explicit mathematics and operational set theory, subsystems of second order arithmetic and set theory, systems of bounded arithmetic and bounded set theory, modal logics.
Details
Teaching
Schedules and Rooms
Period |
Weekly |
Schedule |
Thursday, 10:15 - 12:00 |
Location |
UniBE, ExWi |
Room |
A097 |
Evaluation
Evaluation type |
continuous evaluation |
Additional information
Comment |
First Lecture
The first lecture will take place on Thursday, 22.02.2024 at 10:15 in UniBE, ExWi, room A097.
|