Bücher — computability theory