Authors | Toshiyasu Arai
autor-image
Toshiyasu Arai
Toshiyasu Arai received a PhD from Tsukuba University. His thesis was on an extension of G. Takeuti’s consistency proofs.He got positions in Nagoya University, Hiroshima University, Kobe University, Chiba University, and University of Tokyo. His re ... Read more

Books by Toshiyasu Arai

Ordinal Analysis with an Introduction to Proof Theory: by Toshiyasu Arai
by Toshiyasu Arai