Materiały dydaktyczne dla studentów

Computability

Elementy logiki I

Elementy logiki II

Kwantyfikatory

Elementy teorii mnogości I

Elementy teorii mnogości II

PLiTM: Zagadnienia egzaminacyjne

Automatyczne dowodzenie twierdzeń metodą rezolucji

Logiczne podstawy informatyki - wykład kursowy

LPI: Zagadnienia egzaminacyjne

Rachunek lambda