| 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 |