Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Latin-American Symposium on Mathematical Logic Santiago de Chile
Otros Autores: Arruda, A. I. (Ayda Ignez), Chuaqui, R., Costa, Newton C. A. da
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
Colección:Studies in logic and the foundations of mathematics ; v. 99.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario:Provability, Computability and Reflection.
Descripción Física:1 online resource (xii, 392 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780080955070
008095507X
0444854029
9780444854025
1282309145
9781282309142
9786612309144
6612309148

Ejemplares similares