Mathematische Logik - kurzgefasst
Das Eindringen der modernen Computertechnik in alle Lebensbereiche verlangt von immer mehr Menschen tiefergehende Kenntnisse über mathematisch-logische Zusammenhänge. In der vorliegenden kompakten Einführung werden für die elementaren Sprachen die grundlegenden Ideen, Ergebnisse und Methoden der mathematischen Logik entwickelt. Ausgehend von der Aussagen- und Prädikatenlogik über Modelltheorie und Entscheidbarkeit bis hin zur Mengenlehre wird der Leser über wichtige Aspekte der mathematischen ...
