The Elementary Theory of the Natural Lattice is Finitely Axiomatizable - Archive ouverte HAL Access content directly
Journal Articles Notre Dame Journal of Formal Logic Year : 1989

The Elementary Theory of the Natural Lattice is Finitely Axiomatizable

Domains

Logic [math.LO]
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00095651 , version 1

Cite

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⟩
140 View
0 Download

Share

Gmail Facebook X LinkedIn More