H. Hermes

• Zahlen
• Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
• Enumerability
• Functional analysis and time optimal control