A formulation of the simple theory of types

Principia Mathematica

1911 • 967 citations

Mathematical Logic as Based on the Theory of Types

1908 • 835 citations

Grundlagen der Mathematik

2009 • 767 citations

Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.

1974 • 500 citations

Über die Bausteine der mathematischen Logik

1924 • 465 citations

Grundzüge der Theoretischen Logik

1938 • 363 citations

Grundlagen der Mathematik

1935 • 286 citations

Axiomatische Untersuchung des Aussagen-Kalkuls der ?Principia Mathematica?

1926 • 154 citations

Abriss der Logistik

1929 • 110 citations

A Theory of Positive Integers in Formal Logic. Part II

1935 • 85 citations