Nie jesteś zalogowany | Zaloguj się

A solid subtheory of Z_2 containing Pi^1_1-comprehension

Prelegent(ci)
Piotr Gruza
Język referatu
angielski
Termin
30 kwietnia 2025 12:10
Pokój
p. 5450
Seminarium
Seminarium "Logika matematyczna"