Subrecursion :
functions and hierarchies
fonction de base # hiérarchie étendue de Grzegorczyk # induction transfinie # petite classe de type Grzegorczyk # récursion ordinaire et nichée # sous-récursion # théorie de la hiérarchie # théorème d'incomplétude de Godel
Publisher City : Oxford
Publisher country : Grande-Bretagne
Language : English
EAN13 : 9780198531890
ISBN : 0-19-853189-3
Collation : Bibliogr. ; Index ; xiii#24 cm#rel.
Series : Oxford logic guides
Nb in series : 0009
Location : Ouvrage RdC (ROSE)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00008778 | [available] |