Cargando…

In the Light of Logic.

This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Feferman, Solomon
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Oxford University Press, 1999.
Temas:
Acceso en línea:Texto completo
Descripción
Sumario:This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing.
Descripción Física:1 online resource (353 pages)
ISBN:9780195359831
0195359836