Proceedings of the Second Scandinavian Logic Symposium

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: Scandinavian Logic Symposium University of Oslo, Association for Symbolic Logic
Otros Autores: Fenstad, Jens Erik (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1971.
Colección:Studies in logic and the foundations of mathematics ; v. 63.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical.
Logica.
Wiskundige methoden.
Congress
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 (413 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780080954769
0080954766

Ejemplares similares