Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 320 p.
Cote : 00023241
application de la calculabilité # arithmétique # arithmétique d"ordre élevé # degré # degré de Turin # ensemble récursivement énumérable # fonction calculable # logique # modèle nonstandard # numération # récurrence # réductibilité # théorie de récurrence # théorie des modèles # théorie descriptive des ensembles
03C57 ; 03D25 ; 03D28 ; 03D30 ; 03D45 ; 03D80 ; 03E15 ; 03E35 ; 03F35 ; 03H15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- ix; 174 p.
Cote : 00039648
théorie des modèles # non-résolubilité # logique mathématique # forcing
03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25
Localisation : Colloque 1er étage (SING)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- vii; 90 p.
Cote : 00040755
ensemble numérable # degré de Turing # faible degré de la table de vérité # degré minimal
03D25 ; 03D28 ; 03D30
Localisation : Collection 1er étage