En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Higher recursion theory

Sélection Signaler une erreur
Ouvrage

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

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00014264

[disponible]
Sélection Signaler une erreur