Gottfried
Aloys
Kleene
Josef
Kleene
(
1949
–
1917
)