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

by B Russell
Venue:Am. Journal of Mathematics