ensemble récursivement énumérable # fonction calculable # fonction récursive # hiérarchie # indécidabilité # métamathématique # problème de décision # théorie des nombres intuitioniste # théororème de Gödel

Ville d'édition : Warszawa

Pays d'édition : Pologne

Langue : Polonais

Collation : 21 cm#broch. ; Bibliogr. ; Index

Localisation : Ouvrage RdC (GRZE)

Notes : Don S. Mandelbrojt

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires