3 works on record
Ordinal Analysis with an Introduction to Proof Theory
Advances in Mathematical Logic
Proceedings of the 11th Asian Logic Conference