Generalized recursion theory : proceedings of the 1972 Oslo symposium

Generalized recursion theory : proceedings of the 1972 Oslo symposium

Guardado en:
Detalles Bibliográficos
Autor Corporativo: Symposium on generalized recursion theory :Oslo
Otros Autores: Fenstad, Jens Erik, 1935-2020 (Director de publicación), Hinman, Peter G. (Director de publicación)
Formato: Livre papier
Lenguaje:Anglais
Publicado: Amsterdam [etc.] : New-York : North-Holland Publishing Company ; American Elsevier Publishing Company, inc. 1974.
Colección:Studies in logic and the foundations of mathematics volume 79
Materias:
Récursivité, théorie de la
Actes de congrès
Autres localisations: Voir dans le Sudoc

Ejemplares similares

Ejemplares similares