Scholz, Heinrich (1884-1956)(1673)
Ackermann, Wilhelm (1896-1962)(2)
Stählin, Wilhelm (1883-1975)(2)
Aebi, Magdalena (1898-1980)(1)
Ajdukiewicz, Kazimierz (1890-1963)(1)
Bachmann, Friedrich (1909-1982)(1)
Behmann, Heinrich (1891-1970)(1)
Curry, Haskell B. (1900-1982)(1)
Einstein, Albert (1879-1955)(1)
Gentzen, Gerhard (1909-1945)(1)