Generalized recursion theory : proceedings of the 1972 Oslo symposium

Generalized recursion theory : proceedings of the 1972 Oslo symposium

Enregistré dans:
Détails bibliographiques
Auteur principal : Symposium on generalized recursion theory
Collectivité auteur : Symposium on generalized recursion theory 1 1972 Oslo (Auteur)
Autres auteurs : Fenstad Jens Erik (Éditeur scientifique), Hinman Peter G. (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Generalized recursion theory : proceedings of the 1972 Oslo symposium / edited by J. E. Fenstad,... and P. G. Hinman,...
Publié : Amsterdam [etc.], New-York : North-Holland Publishing Company , 1974
American Elsevier Publishing Company, inc.
Description matérielle : 1 vol. (VIII-456 p.)
Collection : Studies in logic and the foundations of mathematics ; 79
Titre de l'ensemble : Studies in logic and the foundations of mathematics vol. volume 79
Sujets :
Récursivité, Théorie de la > Actes de congrès

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 03B08 Prêt sans prolongation Disponible