"8" Result
Sort By:
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 logi…