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...
https://www.bizrate.de/diversebuecher/logik-f%C3%BCr-informatiker-uwe-sch%C3%B6ning-oid38207125251.html