Mathematical Logic Based on the Theory of Types (1908)

by Bertrand Russell
Venue:American Journal of Mathematics