Mathematical Logic: Proof Theory, Constructive Mathematics

Anton Freund, Würzburg
Antonina Kolokolova, St. John’s
Henry Towsner, Philadelphia
Keita Yokoyama, Sendai