English
Computability theory and its applications :
current trends and open problems
proceedings of a 1999 AMS-IMS-SIAM joint summer research conference on ... held at University of Colorado#June 13-17
Cholak, peter (Editeur) ; Lempp, Steffen (Editeur) ; Lerman, Manuel (Editeur) ; Shore, Richard A. (Editeur)
2000
320 p.
978-0-8218-1922-7
00023241
03C57 ; 03D25 ; 03D28 ; 03D30 ; 03D45 ; 03D80 ; 03E15 ; 03E35 ; 03F35 ; 03H15
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
Ville d'édition : Providence
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9780821819227
ISBN : 0-8218-1922-4
Collation : 25 cm#broch. ; Bibliogr.
Collection : Contemporary mathematics
N° de collection : 0257
Localisation : Collection 1er étage
Année de la rencontre : 1999
Ville du congrès : Boulder
Pays du congrès : États-Unis
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00023241 | [disponible] |
