Titre :	Generalized recursion theory
Titre original :	proceedings of the 1972 Oslo symposium
Type de document :	texte imprimé
Auteurs :	Hinman, P. G. Eds. ; Fenstad, J. E.
Editeur :	Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc
Année de publication :	1974
Collection :	Studies in Logic and The Foundations of Mathematics num. 79
Importance :	viii - 456 p.
ISBN/ISSN/EAN :	978-0-7204-2276-4
Langues :	Anglais
Catégories :	00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory
Mots-clés :	oslo  proceedings  mathematical logic  recursion theory
Index. décimale :	03B Publication collective

Generalized recursion theory = proceedings of the 1972 Oslo symposium [texte imprimé] / Hinman, P. G. Eds. ; Fenstad, J. E. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - viii - 456 p.. - (Studies in Logic and The Foundations of Mathematics; 79) .
ISBN : 978-0-7204-2276-4
Langues : Anglais

Catégories :	00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory
Mots-clés :	oslo  proceedings  mathematical logic  recursion theory
Index. décimale :	03B Publication collective