Computational Logic (bachelor project)
Computational Logic 4 (master seminar)
Formal Languages and Automata Theory
Logic in Computer Science