Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Mons, Belgium
Otros Autores: Boffa, Maurice, Dalen, D. van (Dirk), 1932-, McAloon, Kenneth
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Francés
Publicado: Amsterdam : North-Holland, 1979.
Colección:Studies in logic and the foundations of mathematics ; v. 97.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Congress
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.
Notas:International conference proceedings.
Descripción Física:1 online resource (434 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780080955056
0080955053
ISSN:0049-237X ;

Ejemplares similares