Dieses Buch führt durch die Grundlagen der formalen Logik, von Modelltheorie über Beweistechnik bis hin zu Berechenbarkeit und Komplexität, mit anschaulichen Beispielen und klaren Erklärungen für angehende Informatiker.