Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Symposium on Generalized Recursion Theory (1 ; 1972 ; University of Oslo)  Voir les notices liées en tant qu'auteur

Titre(s) : Generalized recursion theory [Texte électronique] / Proceedings of the 1972 Oslo symposium ; Ed. by J.E. Fenstad and P.G. Hinman

Publication : Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1974

Description matérielle : 1 ressource dématérialisée

Collection : Studies in logic and the foundations of mathematics ; v. 79

Note(s) : Includes 12 papers from the symposium. - Includes bibliographical references (pages 445-451)

Autre(s) auteur(s) : Fenstad, Jens Erik (1935-2020). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Hinman, Peter G.. Fonction indéterminée  Voir les notices liées en tant qu'auteur

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

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780444105455

Identifiant de la notice  : ark:/12148/cb44645461d

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