Hello Everyone. 

Recently, we have contrived some procedures based on resolution method. So, we want to test these procedures. I know that many propostions presented by logic formulas in Principia Mathematica. But I do not know how to get all the modern logical formulas in Principia Mathematica. Has anyone done this similar work (i.e., converted or translated these orginal formulas to modern ones)? 

Would you like to give me some guidance? Many thanks.