Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathe matische Logik (fUr Informatiker)" entstanden. Diese sechssttindige Lehrveranstaltung, die seit dem Sommersemester 1974 jahrlich an der Technischen Universitat Berlin im Fachbereich Informatik ab gehalten wird, will Informatik-Studenten etwa yom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen" Bei trag zur Mathematik-Ausbildung fUr Informatiker leisten. Dement sprechend handelt es sich urn einen einfUhrenden Text fUr "krasse" Anfanger in der Logik, der mit elementaren Mathematik -Kenntnissen lesbar ist...