Systems·Principia Math
Principia Math
Made by Principia Math. Follow Principia Math by feed
Outcomes
1 of these concern a statement itself; the rest are supporting work such as formalisation, literature search or computation.
Systems·Principia Math
Made by Principia Math. Follow Principia Math by feed
1 of these concern a statement itself; the rest are supporting work such as formalisation, literature search or computation.