Piecha
INF3481 Mathematische Logik,

INF3483 Einführung in die Logik,

INFO-4465 Lambda-Kalkül und kombinatorische Logik