Connecting three worlds: KFμ, Inductive definitions and KP
- Prelegent(ci)
- Konstantinos Papafilippou
- Język referatu
- angielski
- Termin
- 26 listopada 2025 12:10
- Pokój
- p. 5450
- Seminarium
- Seminarium "Logika matematyczna"
Nie jesteś zalogowany |
Zaloguj się
|
