Mathematische Logik - kurzgefasst
Wolter, Helmut / Tuschik, Hans P. 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 wir...