Mathematical logic as based on the theory of types (1908)

by B Russell
Venue:American Journal of Mathematics