Définissabilité en arithmétique et méthode de codage ZBV appliquée à des langages avec successeur et coprimarité
arithmétique du premier ordre # codage ZBV # coprimarité # décidabilité # définissabilité # langage # ré-interprétation isomorphe # sous-langage # successeur # synonymie
Publisher City : Lyon
Publisher country : France
Language : French ; English
Collation : 29 cm#broch.#bibliogr.#index
Location : Ouvrage RdC (RICH)
Thesis year : 1985
Thesis city : Lyon
Type of thesis : Thèse
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00036490 | [available] |