Noch in den 30er Jahren unseres Jahrhunderts erweckten die mathematische Logik und die damals entstehende Algorithmentheorie den Anschein besonders abstrakter und von praktischen Anwendungen besonders weit entfernter mathe matischer Disziplinen. Heute hat sich die Situation radikal verandert. Es ist jetzt allgemein anerkannt, dass die beiden genannten Disziplinen eine theoretische Grundlage fur Aufbau und Anwendungen schnell arbeitender Rechen-und Steu erungssysteme schaffen. Das relative Gewicht der mathematischen Logik und der Algorithmentheorie wuchs auch in der Mathematik selbst stark an....