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

Ejemplares similares