Generalized recursion theory : proceedings of a symposium held at the University of Oslo, 12--16 June 1972 [monographie]

Auteur(s): Fenstad, Jens Erik (1935-....) (Ed.)
Hinman, Peter G. (Ed.)
Langue: anglais
Collection: Studies in logic and the foundations of mathematics, n° 79
Editeur, date d'édition: American Elsevier/North-Holland, 1974
Ville(s) d'édition: New York (US), London (GB), Amsterdam (NL)
Congrés: Generalized recursion theory (1972)
Olso (NO)
ISBN: 0-7204-22760 ; 0-444-10545-X
ISSN: 0049-237X
Classification MSC: 02FXX (2000)
Notes: viii ; bibliogr. pp. 445-451 ; index pp. 453-456 ; 23 cm ; 456 p.
Thèmes: theorie de la recursivite, congres, recursion theory

05 FEN 74Disponible