Type Theory and Set Theory (1949)

by John Kemeny
Venue:Journal of Symbolic Logic