Kemeny, John George. <i>Type-theory Vs. Set-theory.</i> 1949.