Toshiyasu AraiBooksAdvances in Mathematical LogicOrdinal Analysis with an Introduction to Proof TheoryProceedings of the 11th Asian Logic ConferenceAuthor data: Open Library