Whitehead & Russell (1973) - Principa Mathematica to *56