Univ.-Prof. Dr. Aart Middeldorp   

Summer 2006

Computability Theory

Computational Logic   (bachelor project)

Computational Logic 3   (master seminar)

Logic in Computer Science