EnglishDéfinissabilité en arithmétique et méthode de codage ZBV appliquée à des langages avec successeur et coprimarité
Thèse
arithmétique du premier ordre # codage ZBV # coprimarité # décidabilité # définissabilité # langage # ré-interprétation isomorphe # sous-langage # successeur # synonymie
Ville d'édition : Lyon
Pays d'édition : France
Langue : Français ; Anglais
Collation : 29 cm#broch.#bibliogr.#index
Localisation : Ouvrage RdC (RICH)
Année de thèse : 1985
Ville de thèse : Lyon
Type thèse : Thèse
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00036490 | [disponible] |
