The Elementary Theory of the Natural Lattice is Finitely Axiomatizable - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Notre Dame Journal of Formal Logic Année : 1989

The Elementary Theory of the Natural Lattice is Finitely Axiomatizable

Fichier non déposé

Dates et versions

hal-00095651 , version 1 (18-09-2006)

Identifiants

  • HAL Id : hal-00095651 , version 1

Citer

Patrick Cegielski. The Elementary Theory of the Natural Lattice is Finitely Axiomatizable. Notre Dame Journal of Formal Logic, 1989, 30, pp.138-150. ⟨hal-00095651⟩

Collections

CNRS LACL UPEC
143 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More