Ein tiefgehendes Werk über die Grundlagen der Rekursionstheorie, das zugleich praktische Anwendungen in Logik und Informatik aufzeigt; es behandelt neue Klassifikationen von rekursiven Funktionen, Entscheidbarkeitsprobleme und deren Einfluss auf moderne Algorithmen.