Principia Mathematica, Vol. I - Whitehead, Alfred North; Russell, Bertrand (Cambridge: Cambridge University Press, 1978)