Ein umfassendes Lehrbuch, das die Verbindung zwischen mathematischer Logik und diskreter Programmierung beleuchtet. Es führt systematisch durch Aussagenlogik, Mengenlehre, Relationen, Funktionen, formale Beweisführung und deren Anwendung in Algorithmenanalyse sowie Softwareverifikation.