Tytuł: Intuitionistic logic versus paraconsistent logic. Categorical approach.
Streszczenie
Streszczenie rozprawy doktorskiej
Promotor
ks. prof. dr hab. Michał Heller
Recenzje
prof. Edwin Mares
dr hab. Marek Zawadowski, prof. UW
Zawiadomienie o terminie publicznej obrony
Poza możliwością wzięcia udziału w obronie stacjonarnie, istnieje możliwość dołączenia do spotkania za pośrednictwem aplikacji MS Teams:
Microsoft Teams meeting
Join on your computer, mobile app or room device
Click here to join the meeting
Harmonogram
Informacja o przetwarzaniu danych osobowych dla uczestników publicznej obrony rozprawy doktorskiej.