Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions - Arai, Toshiyasu; Kikuchi, Makoto; Kuroda, Satoru; Okada, Mitsuhiro; Yorioka, Teruyuki (Singapore Springer Singapore Pte. Limited, 2022)