FormalizedFormalLogicFoundation

Formalization of Mathematical Logic
Displaying 1-2 of 2 packages depending on FormalizedFormalLogic/Foundation
Sort by

  1. FormalizedFormalLogic/arithmetizationuses72be6b0

    Formalization of Arithmetization of Mathematics/Metamathematics

  2. FormalizedFormalLogic/incompletenessuses4f2f6d4

    Formalize Incompleness Theorem Related Results