Journal Articles
Notre Dame Journal of Formal Logic
Year : 1989
Patrick Cegielski : Connect in order to contact the contributor
https://hal.science/hal-00095651
Submitted on : Monday, September 18, 2006-10:05:19 AM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
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