Proof Theory
Details
| Code | 41120 |
| Type | Course |
| ECTS | 5 |
| Site | Bern |
| Track(s) |
T4 – Theory and Logic |
| Semester | A2023 |
Teaching
| Lecturer(s) |
Thomas Studer |
| Language | english |
| Course Page | The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_2793355.html. |
Schedules and Rooms
| Period | Weekly |
| Schedule | Tuesday, 09:15 - 12:00 |
| Location | UniBE, ExWi |
| Room | B077 |
Additional information
| Comment | First Lecture |