The collected papers of Gerhard Gentzen /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Szabo, M. E., Gentzen, Gerhard
Formato: Electrónico eBook
Idioma:Inglés
Alemán
Publicado: Amsterdam : North-Holland, 1969.
Colección:Studies in logic and the foundations of mathematics ; v. 55.
Temas:
Gentzen, Gerhard.
Gentzen, Gerhard
Logic, Symbolic and mathematical.
Metamathematics.
Logique symbolique et math�ematique.
M�etamath�ematique.
Logic, Symbolic and mathematical
Metamathematics
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario:Provability, Computability and Reflection.
Descripción Física:1 online resource (viii, 338 pages) : illustrations
Bibliografía:Includes bibliographical references and indexes.
ISBN:9780444534194
0444534199
1283526425
9781283526425
9786613838872
661383887X
0080957749
9780080957746

Ejemplares similares