Advances in Mathematical LogicToshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka · First published 2021Open the Tome
Ordinal Analysis with an Introduction to Proof TheoryToshiyasu Arai · First published 2020Open the Tome
Proceedings of the 11th Asian Logic ConferenceToshiyasu Arai, Byunghan Kim, Yue Yang · First published 2011Open the Tome
