m

F Nous contacter

0
     
Ouvrage

H 0 Hierarchies of predicates of finite types

Clarke, D. A. (Principal)

American Mathematical Society

1964

00014969

03B05 ; 03D20 ; 03Dxx ; 11-XX ; 11Uxx

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00014969 [disponible]
Z