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

Publisher City : London ; N.Y. ; San Francisco

Publisher country : États-Unis

Language : English

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

Series : McGraw-Hill series in higher mathematics

Location : Ouvrage RdC (ROGE)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies