Recherche avancée

Recursion theory [monographie] Proceedings of symposia in pure mathematics of the AMS held at Cornell University Ithaca, New York June 28 - July 16, 1982

Auteur(s):

Nerode, Anil (1932-....) (Ed.) Shore, Richard A. (1946-....) (Ed.)

Langue:

anglais

Collection:

Proceedings of symposia in pure mathematics, n° 42

Editeur, date d'édition:

American Mathematical Society, 1984

Ville(s) d'édition:

Providence, Rhode Island (US)

Congrés:

Recursion theory , n° 42 (1982) New York (US)

ISBN:

0-8218-1447-8

ISSN:

0082-0717

Classification MSC:

03-06

Notes:

vii ; fig. ; notes bibliogr. ; 26 cm ; 528 p.

Thèmes:

logique, capacite, complexite algorithme, treillis, jeu, fondement arithmetique, ensemble borelien, congres, recursion, anneau noetherien, recursion theory, theorie decidable, theoreme godel

Localisation:

Ouvrage localisé salle recherche - Cote Ha 1/3

---

     Exemplaire(s)

---

Cote	Retour
05 NER 84	Disponible