Typos of Principia Mathematica - Landini, Gregory (History and philosophy of logic, 2013)