Computer Verification for Historians of Philosophy: A Computer-Assisted, Historically-Faithful Rewrite of Principia Mathematica

Date: