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
Chargement en cours