7th International School and Workshop on Proof Theory (Proof Society)

Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk

Description

I gave a tutorial on Bounded Arithmetic.