Computability Theory
Computational Logic (bachelor project)
Computational Logic 3 (master seminar)
Logic in Computer Science