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

Publisher City : Paris

Publisher country : France

Language : French

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

Series : Actualités scientifiques et industrielles

Nb in series : 1317

Location : Ouvrage RdC (OUSP)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies