Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 320 p.
ISBN 978-0-8218-1922-7
Contemporary mathematics , 0257
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2601-0
Memoirs of the american mathematical society , 0541
Localisation : Collection 1er étage
automorphisme # automorphisme du treillis des ensembles énumérables récursiv # degré énumérable récursivement haut # filtre principal # isomorphisme
03D25
... Lire [+]
