The Battle History of Principia Mathematica