Dieses Buch versammelt einige der wichtigsten Probleme und Lösungen der theoretischen Informatik und behandelt Bereiche wie Berechenbarkeit, Logik, Schaltungstheorie und Komplexität. Es präsentiert diese bedeutenden Ergebnisse mit vollständigen Beweisen in verständlicher Form. Darüber hinaus werden zuvor offene Probleme eingeführt, die unerwartete Lösungen gefunden haben, und der Leser wird herausgefordert, weitere aktive Forschung in der Informatik zu betreiben. Der Text hebt zentrale Probleme und deren Lösungen hervor, bietet vollständige Beweise und untersucht komplexe Beweise, probabilistische Konstruktionen und vieles mehr. Ausserdem enthält es über 240 interessante Übungen.