Cargando…

Memoirs of a proof theorist : Gödel and other logicians /

This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also co...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Takeuti, Gaisi, 1926-2017
Formato: Electrónico eBook
Idioma:Inglés
Japonés
Publicado: River Edge, NJ : World Scientific, 2003.
Temas:
Acceso en línea:Texto completo