En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Subrecursion :
functions and hierarchies

Bookmarks Report an error
Ouvrage

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

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


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00008778

[available]
Bookmarks Report an error