Justus Diller

• ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics) (English and German Edition)
• Functional Interpretations
• Rekursionstheorie