G
Gaisi Takeuti
Publications - 1
Citations - 770
Gaisi Takeuti is an academic researcher. The author has contributed to research in topics: Gentzen's consistency proof & Proof theory. The author has an hindex of 1, co-authored 1 publications receiving 769 citations.
Papers
More filters