Cargando…

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

Tabla de Contenidos:

pt. 1. Recursion in objects of finite type
pt. 2. Sets and ordinals
pt. 3. Inductive definability
pt. 4. Axiomatic approaches and general discussion
pt. 5. A bibliography of generalized recursion theory.