pokój | tel. wewn. |
KIEROWNIK ZAKŁADU: | ||
dr hab. prof. UŚ Tomasz Połacik | 588 | 1864 |
dr Anna Bień | ||
dr Anna Glenszczyk |
|
|
|
Logika matematyczna. W szczególności, logika intuicjonistyczna i logiki pośrednie, logiki modalne oraz konstruktywne teorie pierwszego rzędu i ich modele. |
Piątki, od 12.00 do 14.00, sala 554. |
dr Anna Glenszczyk: czwartki, 8.30-10.00, p.587 dr hab. prof. UŚ Tomasz Połacik: piątki, 10.00-11.30, p.588 |