Higher recursion theory
ensemble admissible # ensemble ordonné # fondement de la logique # logique # recursivité # théorie de la récursion
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne ; États-Unis
Langue : Anglais
EAN13 : 9783540193050
ISBN : 3-540-19305-7
Collation : Bibliogr. ; Index ; xv#25 cm#rel.
Collection : Perpectives in mathematical logic
Localisation : Ouvrage RdC (SACK)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00014264 | [disponible] |