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

Documents Ouspenski, V. A. 1 results

Filter
Select: All / None
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 412 p.
Call n° : 00001911
constructivisation de définition négative # ensemble récursivement énumérable # ensemble universel # fonction calculable # fonction partielle récursive # fonction primitive récursive # fonction universelle # logique mathématique # machine à calculer abstraite # prédicat général récursif # prédicat primitif récursif # prédicat récursivement énumérable # séparation des réels calculables # théorie des ensembles # théorie des fonctions

03D20 ; 03D25 ; 03D80 ; 03Dxx

Location : Ouvrage RdC (OUSP)

Bookmarks Report an error

Filter

Authors
Reference
MSC Codes
Publication Date