Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Oxford, England
Otros Autores: Gandy, R. O. (Robin O.), Hyland, John Martin Elliott
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1977.
Colección:Studies in logic and the foundations of mathematics ; v. 87.
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.
Descripción Física:1 online resource (x, 612 pages) : portrait
Bibliografía:Includes bibliographical references.
ISBN:9780080954967
0080954960
1282309072
9781282309074
9786612309076
6612309075

Ejemplares similares