The Elementary Theory of the Natural Lattice is Finitely Axiomatizable
Cegielski, Patrick
HAL, hal-00095651 / Harvested from HAL
Text on HAL
Accessible en ligne dans le cadre du projet Euclide http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093635001
Publié le : 1989-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00095651,
     author = {Cegielski, Patrick},
     title = {The Elementary Theory of the Natural Lattice is Finitely Axiomatizable},
     journal = {HAL},
     volume = {1989},
     number = {0},
     year = {1989},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00095651}
}

Cegielski, Patrick. The Elementary Theory of the Natural Lattice is Finitely Axiomatizable. HAL, Tome 1989 (1989) no. 0, . http://gdmltest.u-ga.fr/item/hal-00095651/