 |
|
|
|
| HAL: hal-00095651, version 1 |
| Detailed view |  Export this paper |
|
|
| Notre Dame Journal of Formal Logic 30 (1989) 138-150 |
|
|
|
|
| The Elementary Theory of the Natural Lattice is Finitely Axiomatizable |
|
|
| Patrick Cegielski 1 |
|
|
| (1989) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Algorithmique Complexité et Logique (LACL) |
|
|
|
CNRS : FRE2673 – Université Paris-Est Créteil Val-de-Marne (UPEC) |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Logic |
| hal-00095651, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00095651 | |
| oai:hal.archives-ouvertes.fr:hal-00095651 | |
| From: Patrick Cegielski | |
| Submitted on: Monday, 18 September 2006 10:05:19 | |
| Updated on: Monday, 18 September 2006 10:05:19 | |
