En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Définissabilité en arithmétique et méthode de codage ZBV appliquée à des langages avec successeur et coprimarité

Bookmarks Report an error
Thèse

Richard, Denis (Principal)

Université Claude Bernard - Lyon I

1985

pag. multi.

00036490

03B10 ; 03F30 ; 03B25 ; 11U05

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


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00036490

[available]
Bookmarks Report an error