INSTYTUT MATEMATYKI
Uniwersytet Śląski
40-007 Katowice, ul. Bankowa 14




Tomasz Połacik


Doktoranci


Prace obronione

  1. Małgorzata Kruszelnicka, Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu.
    Obrona: 3.06.2014. Recenzenci: dr hab. Joanna Grygiel, prof. dr hab. Marek Zaionc.

  2. Anna Glenszczyk, Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej.
    Obrona: 29.01.2018. Recenzenci: dr hab. Aleksy Schubert, prof. UW,  dr hab. Piotr Wojtylak, prof. UO.

Prace w toku

  1. Tomasz Witczak




[ZAKŁAD LOGIKI]  [STRUKTURA]  [INSTYTUT MATEMATYKI]

[STRONA GŁÓWNA]  [CV]  [PUBLIKACJE]  [BADANIA]  [DYDAKTYKA]