Konstruktywna zawartość klasycznych dowodów

Prelegent(ci)

Maja Kądziołka

Afiliacja

MIM

Język referatu

polski

Termin

8 stycznia 2027 12:15

Pokój

p. 5450

Tytuł w języku angielskim

Constructive content of classical proofs

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---