Toshiyasu Arai
Toshiyasu Arai
3 books in the database
Books
Ordinal Analysis with an Introduction to Proof TheoryToshiyasu Arai
Ordinal Analysis with an Introduction to Proof Theory
Toshiyasu Arai · 2021
Advances in Mathematical LogicToshiyasu Arai
Advances in Mathematical Logic
Toshiyasu Arai · 2021
Proceedings of the 11th Asian Logic ConferenceToshiyasu Arai
Proceedings of the 11th Asian Logic Conference
Toshiyasu Arai · 2011