Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Rose, Harvey Ernest (1936-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Subrecursion [Texte imprimé] : functions and hierarchies / H.E. Rose,...

Publication : Oxford : Clarendon Press, 1984

Description matérielle : XIII-189 p. ; 24 cm

Collection : Oxford logic guides ; 9

Lien à la collection : Oxford logic guides  Voir toutes les notices liées

Note(s) : Bibliogr. p. 183-186. Index

Sujet(s) : Fonctions récursives  Voir les notices liées en tant que sujet
Récursivité, Théorie de la  Voir les notices liées en tant que sujet
Fonctions calculables  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-19-853189-3 (rel.)

Identifiant de la notice  : ark:/12148/cb35699789n

Notice n° :  FRBNF35699789 (notice reprise d'un réservoir extérieur)