Invited Lecture in Special Session on Proof Theory, International Conference on Computability in Europe, Swansea (1 July)
- Roy Dyckhoff (Invited speaker)
Activity: Talk or presentation types › Invited talk
Activity: Talk or presentation types › Invited talk