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...
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 |
Ejemplares similares
-
Memoirs of a Proof Theorist : Gödel and Other Logicians.
por: Passell, Nicholas
Publicado: (2003) -
Kurt Gödel and the foundations of mathematics : horizons of truth /
Publicado: (2011) -
Proof theory /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1975) -
The nuts and bolts of proofs /
por: Cupillari, Antonella
Publicado: (2005) -
The moment of proof : mathematical epiphanies /
por: Benson, Donald C.
Publicado: (2000)