Oswald
Veblen

Princeton (Physics Tree)


Alonzo
Church

UCLA (MathTree)




Frank
Pfenning

Carnegie Mellon

Carsten E.
Schurmann

Carnegie Mellon
(Options)

Carsten SchurmannX