Toshiyasu Arai

No bio available. Add one in Open Library.

Books by Toshiyasu Arai (50 max)

+ shelf+ list

Proceedings of the 11th Asian Logic Conference In Honor of Professor Chong Chitat on His 60th Birthday, National University of Singapore, Singapore, 22-27 June 2009

2011

Toshiyasu Arai, Byunghan Kim, Yue Yang

+ shelf+ list

Ordinal Analysis with an Introduction to Proof Theory

2020

Toshiyasu Arai

+ shelf+ list

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

2021

Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka