FormalizedFormalLogicarithmetization

Formalization of Arithmetization of Mathematics/Metamathematics
Displaying 1-1 of 1 packages depending on FormalizedFormalLogic/arithmetization
Sort by

  1. FormalizedFormalLogic/incompletenessuses27ad299

    Formalize Incompleness Theorem Related Results