Conservativity over collection and the occasional inevitability of polynomial proof transformations
- Prelegent(ci)
- Leszek Kołodziejczyk
- Język referatu
- angielski
- Termin
- 25 lutego 2026 12:10
- Pokój
- p. 5450
- Seminarium
- Seminarium "Logika matematyczna"
Nie jesteś zalogowany |
Zaloguj się
|
