m
     
Ouvrage

H 0 Computations in higher types

Moldestad, Johan (Principal)

Springer-Verlag

1977

978-3-540-08132-6

00020610

03D60 ; 03D65 ; 03-02

calcul dans les types supérieurs # caractère Mahlo # domaine de calcul # liste normale # longueur de calcul fosse # objet normal # platek # récursion de Kleene # théorie de Kleene abstraite # théorie de calcul normale

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540081326

ISBN : 3-540-08132-1

Collation : 203 p. ; 24 cm ; Bibliogr. ; Index ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0574

Localisation : Collection 1er étage

Notes : 4 volumes reliés ensembles L20608 à L 20611

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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