Title: Berechenbarkeit, Komplexität, Logik
Subjects: Constructive mathematics, Symbolic and mathematical Logic