Principia mathematica. - Whitehead, Alfred North. (Cambridge University press, 1927)