Connecting three worlds: KFμ, Inductive definitions and KP (cont'd)
- Speaker(s)
- Konstantinos Papafilippou
- Language of the talk
- English
- Date
- Dec. 3, 2025, 12:10 p.m.
- Room
- room 5450
- Seminar
- Seminar Mathematical Logic
You are not logged in |
Log in
|
