Skip to main content
MathOverflow
Xingxing He's user avatar
Xingxing He's user avatar
Xingxing He's user avatar
Xingxing He
  • Member for 12 years
  • China
Profile Activity

3 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Student
comment
How to get the modern logic formulas in Principia Mathematica
Or futher, Who has converted these orginal formulas to conjunctive normal forms, even in Propositional logic? I want to use it as an benchmark.
asked
How to get the modern logic formulas in Principia Mathematica