Archiwum
Materiały do wykładu Teoria obliczeń,
II semestr 2016-17.
Materiały do wykładu Matematyczne metody
semantyki, II semestr 2012-13.
Materiały do wykładu monograficznego:
Logika intuicjonistyczna, I semestr 2011/12
Materiały do wykładu monograficznego
Logika liniowa
II semestr 2005-06
Materiały archiwalne do wykładu kursowego
Języki, automaty i obliczenia, III rok informatyki (studia dzienne),
I semestr 2002/03
Materiały archiwalne z wykładu kursowego
ze
wstępu do teorii mnogości, I rok informatyki (studia dzienne).
Materiały archiwalne z wykładu kursowego
z
logiki, I rok informatyki (studia dzienne).
Notatki do wykładu
"Przepisywanie termów", I semestr 2000/01