Title: Komplexität von Entscheidungsproblemen
Subjects: Turing machines, Computational complexity, Congresses, Gödel's theorem