Memoirs of a Proof Theorist : Gödel and Other Logicians.
This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections, and his interpretation of Godel's comprises attitudes towards mathematical logic...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés Japonés |
Publicado: |
World Scientific
2003.
|
Temas: | |
Acceso en línea: | Texto completo |