Univ.-Prof. Dr. Aart Middeldorp   

Summer 2007

Computability Theory

Computational Logic   (bachelor project)

Computational Logic 1   (master seminar)