Title: Mathematische Logik Mit Informatik-Anwendungen