Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Memoirs of the american mathematical society , 0051
Localisation : Collection 1er étage
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
03B05 ; 03D20 ; 03Dxx ; 11-XX ; 11Uxx
... Lire [+]