Mathematical Logic as based on a theory of logical types (1908)

by B Russelll
Venue:Am. Journal of Mathematics