Klaus Weihrauch

• Computability
• Computability (Monographs in Theoretical Computer Science. An EATCS Series)
• Computable Analysis
• Logik Für Informatiker
• Computability