CORE

🇺🇦   make metadata, not war

    1 research outputs found

    On Formalization of Model-Theoretic Proofs of Gödel's Theorems

    Author
      Publication venue
      'Notre Dame Journal of Formal Logic'
      Publication date
      Field of study
      No full text
      Crossref
      corecore