Diverse Bücher

Logik für Informatiker - Uwe Schöning Logik für Informatiker - Buch Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von... Logik für Informatiker - Uwe Schöning