The special session “Pure and Applied Proof Theory” Logic Colloquium

Activity: Academic conferences and events (excluding conference publications) › Major conference organising role