Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Logik in der Informatik -- 2. Beispiele logischer Beschreibungen -- 3. Signaturen und Strukturen -- 4. Terme, Formeln und ihre Auswertung -- 5. Spezifikationen und Modelle -- 6. Spezielle Situationen -- 7. Folgern -- 8. Ableiten -- 9. Anwendungen in Skizzen -- 10. Ausblick -- Anhang
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.