Archiwum
Egzamin z logiki intuicjonistycznej,
10 czerwca 2008
Materiały do wykładu monograficznego
Logika liniowa
II semestr 2005-06
Lektura monograficzna:
Logika i obliczenia: Izomorfizm Curry'ego-Howarda, II semestr 2004/05
Materiały do wykładu monograficznego:
Logika intuicjonistyczna, I semestr 2004/05
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