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

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

Titre(s) : Generalized recursion theory II [Texte électronique] : proceedings of the 1977 Oslo symposium / edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks

Publication : Amsterdam ; New York : North-Holland Pub. Co. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978

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

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

Note(s) : Includes bibliographical references

Autre(s) auteur(s) : Fenstad, Jens Erik (1935-2020). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Gandy, Robin O.. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Sacks, Gerald E.. 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

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 9780444851635

Identifiant de la notice  : ark:/12148/cb44648221b

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