Bertrand Russell. Mathematical Logic as Based on the Theory of Types. American Journal of Mathematics, 30(3):222--262, 1908. https://doi.org/10.2307/2369948
Bertrand Russell. Mathematical Logic as Based on the Theory of Types. American Journal of Mathematics, 30(3):222--262, 1908. https://doi.org/10.2307/2369948