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

by Bertrand Russell
Venue:American Journal of Mathematics