logique # fonctionnelle récursive # réalisabilité # théorème de récursion

Ville d'édition : Providence

Pays d'édition : États-Unis

Langue : Anglais

Collation : 26 cm#rel. ; Bibliogr.

Collection : Memoirs of the american mathematical society

N° de collection : 0089

Localisation : Collection 1er étage

Notes : 8 volumes reliés ensembles L23824 à L23831
Memoirs of the AMS n° 88 à 95

Type d'ouvrage : Monographie

Disponibilité : Disponible

Niveau d'autorisation : Public

Exemplaires