Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehorend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be griff formaler Sprache als Trager prazisen Ausdrucks von Bedeutungen, Sach verhalten, Problemen und der des Algorithmus oder Kalkuls, d. h. formal ope rierender Verfahren zur Losung prazis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche Einfuhrung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen barkeitstheorie...