CORE

🇺🇦   make metadata, not war

    5 research outputs found

    Weak Arithmetics and Kripke Models

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    PhilPapers

    Independence results for weak systems of intuitionistic arithmetic

    Author
      Publication venue
      'Wiley'
      Publication date
      Field of study
      Full text link
      Crossref

      Weak Arithmetics and Kripke Models

      Author
      Publication venue
      'Wiley'
      Publication date
      Field of study
      No full text
      Crossref

      Corrigendum to“Weak Arithmetics and Kripke Models”

      Author
        Publication venue
        'Wiley'
        Publication date
        Field of study
        No full text
        Crossref
        corecore