Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT

Doktorant w celu zaliczenia rocznego seminarium musi wygłosić minimum po jednym referacie w każdym semestrze.

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

• Strona przedmiotu 1000-2S19LTT w USOSweb