Abstract: Results are reported here of a rather successful attempt of proving all theorems, totalling near 400, of Principia Mathematica which are strictly in the realm of logic, viz., the restricted ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results