T Arai, M Kikuchi, S Kuroda, M Okada, T Yorioka - 2019 - Springer
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the twentieth
century. He was born on January 25, 1926, in Ishikawa Prefecture in Japan, graduated from …