Ocena zajęć+ memy moich studentów
Logika Ćwiczenia 23/24
An Introduction to Finite and Classical Model Theory: Wykład 22/23
Logika Ćwiczenia 22/23
Logika Repetytorium 21/22
Logika Ćw 21/22
Seminarium: Skończona i algorytmiczna teoria modeli 20/21 (z Piotrem Ostropolskim-Nalewają)
Logika Repetytorium 20/21
Logika Ćw 20/21 (w orbicie razem z WCh i EFes)
Modele Skończone 20/21 wykład+ćw wraz z P. Nalewają
Logika Ćw 19/20
Seminarium Badawcze 19/20
Seminarium Badawcze 18/19
Bazy danych Ćw 18/19
Logika Ćw 18/19
