The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0
- Prelegent(ci)
- Leszek Kołodziejczyk
- Język referatu
- angielski
- Termin
- 7 stycznia 2026 12:10
- Pokój
- p. 5450
- Seminarium
- Seminarium "Logika matematyczna"
Nie jesteś zalogowany |
Zaloguj się
|
