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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540081326

ISBN : 3-540-08132-1

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

Series : Lecture notes in mathematics

Nb in series : 0574

Location : Collection 1er étage

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

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies