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