Ein praxisnahes Buch, das die Theorie der induktiven Logik mit konkreten Anwendungen in der Informatik verknüpft, erklärt Beweisführung und Modellierung von Algorithmen aus einer mathematischen Perspektive.