On the theory of types
Language: eng
Notes: Reprinted from Journal of symbolic logic. Vol. 3, no. 4, Dec. 1938.