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

Niveau d'autorisation : Public

Exemplaires