calculabilité effective # degré d'insolvabilité # ensemble récursif et énumérable récursivement # hiérarchie analytique et arithmétique # problème de Post # problème insoluble # réductibilité de Turing # théorie des fonctions récursives

Ville d'édition : London ; N.Y. ; San Francisco

Pays d'édition : États-Unis

Langue : Anglais

Collation : Bibliogr. ; Index ; xix#25 cm#rel.

Collection : McGraw-Hill series in higher mathematics

Localisation : Ouvrage RdC (ROGE)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires