bon ordonnancement récursif relativement # degré d'insolvabilité récursive # degré d'opérateur de saut # degré de prédicat complet # dual d'opérateur existentiel # définition explicite # hiérarchie de prédicats de type fini # hiérarchie finie # hiérarchie transfinie # opérateur de saut itéré # post # restriction de type # réduction de la définition de O puissance ) gauche m indice # théorème d'énumération # théorème de hiérarchie

Ville d'édition : Providence ; R.I.

Collation : 24 cm ; 95 p. ; Bibliogr. ; rel.

Collection : Memoirs of the american mathematical society

N° de collection : 0051

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires