" Berechenbarkeit, Komplexität, Logik Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität "