Toshiyasu Arai · 3 obras en el catálogoObrasOrdinal Analysis with an Introduction to Proof TheoryAAdvances in Mathematical LogicAdvances in Mathematical LogicPProceedings of the 11th Asian Logic ConferenceProceedings of the 11th Asian Logic Conference