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

Niveau d'autorisation : Public

Exemplaires