More conservativity for weak König's lemma (work of Freund and Uftring)
- Prelegent(ci)
- Leszek Kołodziejczyk
- Język referatu
- angielski
- Termin
- 8 października 2025 12:10
- Pokój
- p. 5450
- Seminarium
- Seminarium "Logika matematyczna"
Nie jesteś zalogowany |
Zaloguj się
|
