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: | |
Formato: | Electrónico eBook |
Idioma: | Inglés Japonés |
Publicado: |
River Edge, NJ :
World Scientific,
2003.
|
Temas: | |
Acceso en línea: | Texto completo |