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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00007884 | [disponible] |