Russel, Bertrand "Mathematical Logic as based on a Theory of Types" in American Journal of Mathematics, 30 pp222-262, 1908
(1908)
Languages mentioned
Principia Mathematica
{1908} R & W symbolic treatment of maths