m
     
Ouvrage

H 0 Higher recursion theory

Sacks, Gerald E. (Principal)

Springer-Verlag

1990

344 p.

978-3-540-19305-0

00014264

03D55 ; 03D60 ; 03D65 ; 03E15

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


Exemplaires

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