m
     
Ouvrage

H 0 Leçons sur les fonctions calculables

Ouspenski, V. A. (Principal) ; Chauvin, André (Traducteur)

Hermann

1966

412 p.

00001911

03D20 ; 03D25 ; 03D80 ; 03Dxx

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

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

Collation : Bibliogr. ; fig.#24 cm#rel. ; Index

Collection : Actualités scientifiques et industrielles

N° de collection : 1317

Localisation : Ouvrage RdC (OUSP)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00001911

[disponible]
Z