MacLane, Saunders
Church, Alonzo
Vazquez, R. ; Martin, R. M.
Fitch, Frederic B.
Black, Max
Nagel, Ernest
Lagerstrom, P.
Baylis, Charles A.
Nelson, Everett J.
Hempel, Carl G.
Berkeley, Edmund C.
Quine, W. V.
Turing, A. M.
Bernays, Paul
Kac, Mark ; Rosser, Barkley
Langford, C. H.
Kraft, J.
Barrett, William
von Wright, G. H.
Lorch, E. R.
Vaughan, H. E.
Henkin, Leon
McKinsey, J. C. C.
Parry, W. T.
Curry, Haskell B.
White, Morton G.
Baylis, C. A.
Wedberg, Anders
v. Wright, G. H.
Rosser, Barkley
Kleene, S. C.
Duthie, W. D.
MacLane, Sauders
Bronstein, Daniel J.
Newman, M. H. A. ; Turing, A. M.