m

F Nous contacter

0
     
Ouvrage

H 0 Subrecursion :
functions and hierarchies

Rose, Harvey E. (Principal)

Clarendon Press

1984

189 p.

978-0-19-853189-0

00008778

03D20 ; 03F15 ; 03F40

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

Ville d'édition : Oxford

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780198531890

ISBN : 0-19-853189-3

Collation : Bibliogr. ; Index ; xiii#24 cm#rel.

Collection : Oxford logic guides

N° de collection : 0009

Localisation : Ouvrage RdC (ROSE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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