Matematyka
Logika I (według
pakietów ECTS)
Logika
II (według
pakietów ECTS)
Teoria
modeli
Funkcje
rekurencyjne i zagadnienie rozstrzygalności
Wstęp
do logiki i teorii mnogości
Informatyka
Podstawy
logiki i teorii mnogości
Szkoła Zarządzania UŚ
Logika
Wydział Informatyki i Nauki o Materiałach UŚ
Logika
dla informatyków