Generalized recursion theory : Proceedings of the 1972 Oslo symposium /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Symposium on Generalized Recursion Theory University of Oslo
Otros Autores: Fenstad, Jens Erik, Hinman, Peter G.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1974.
Colección:Studies in logic and the foundations of mathematics ; v. 79.
Temas:
Recursion theory > Congresses.
Recursive functions.
Fonctions r�ecursives.
Th�eorie de la r�ecursivit�e > Congr�es.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Recursive functions
Recursion theory
Kongress
Rekursionstheorie
R�ecursivit�e, Th�eorie de la > Congr�es.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Oslo (1972- )
Acceso en línea:Texto completo
Texto completo

Internet

Texto completo
Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares