Generalized recursion theory / Hinman, P. G. Eds. ; Fenstad, J. E.

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9227	03B08	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1