Hierarchies of predicates of finite types
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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00014969 | [disponible] |