m
     
Congrès

H 0 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)

American Mathematical Society

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00023241 [disponible]
Z