Hierarchia Minca dla kwantyfikatora egzystencjalnego

Prelegent(ci)

Aleksy Schubert

Afiliacja

MIM

Język referatu

polski

Termin

18 grudnia 2026 12:15

Pokój

p. 5450

Tytuł w języku angielskim

Minc hierarchy for the existential quantifier

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---