CORE

🇺🇦   make metadata, not war

    2 research outputs found

    The Elementary Theory of the Natural Lattice is Finitely Axiomatizable

    Author
    Publication venue
    'University of Notre Dame'
    Publication date
    Field of study
    No full text
    Accessible en ligne dans le cadre du projet Euclide http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/109363500
    HAL - UPEC / UPEM

    The elementary theory of the natural lattice is finitely axiomatizable.

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