Kemeny, John George, <i>Type-Theory Vs. Set-Theory.</i> Ph.D., Princeton University, 1949.