Séminaire sur les structures algébriques ordonnées. Sélection d'exposés 1984-1987. Volume II [monographie] |
| Auteur(s): | Delon, Françoise (Ed.) Dickmann, Max (1940-....) Gondard, Danielle (Ed.) |
| Langue: | français |
| Collection: | Publications mathématiques de l'Université Paris VII, n° 33-2 |
| Editeur, date d'édition: | U.E.R. de mathématiques et L.A. 212 du C.N.R.S., 1990 |
| Ville(s) d'édition: | Paris (FR) |
| Congrés: | Séminaire sur les structures algébriques ordonnées , n° 33-2 (1984) Paris (FR) |
| ISSN: | 1275-1464 ; 0073-8301 |
| Classification MSC: | 12-06 |
| Notes: | Notes bibliogr. ; 22 cm (Equipe De Logique Mathématiques - Collectif) ; 163 p |
| Thèmes: | produit lexicographique ordre total, logique lukasiewicz, elimination quantificateur, structures algebriques ordonnees |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 DEL 90-33-2 | Disponible |