Russel, Bertrand "Mathematical Logic as based on a Theory of Types" in American Journal of Mathematics, 30 pp222-262, 1908

(1908)

Languages mentioned