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

Descripción
Sumario:	Provability, Computability and Reflection.
Notas:	Includes 12 papers from the symposium.
Descripción Física:	1 online resource (viii, 456 pages)
Bibliografía:	Includes bibliographical references (pages 445-451).
ISBN:	9780080954899 0080954898 1283525739 9781283525732 9786613838186 6613838187