m
     
Ouvrage

H 0 Fonctions récursives

Grzegorczyk, Andrzej (Principal)

Gauthier-Villars

1961

100 p.

00007276

03D20 ; 03D25 ; 03Dxx

effectivité des méthodes de réduction # ensemble non récursif # ensemblement récursivement énumérable # fonction récursive # logique mathématique # problème de décision # représentabilité de relation récursive

Ville d'édition : Louvain ; Paris

Pays d'édition : France

Langue : Français

Collation : 25 cm#broch. ; Bibliogr.

Collection : Collection de logique mathématique série A

N° de collection : 0017

Localisation : Ouvrage RdC (GRZE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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

[disponible]
Z