Principia Mathematica to *56 by Bertrand Arthur Russell, Alfred North Whitehead & Russell Bertrand Russell