Russell & Whitehead's Principia Mathematica

