Skip to main navigation Skip to search Skip to main content

Positive and negative results in universal proof theory

Activity: Talk or presentation › Schools engagement › Academic

Description

I gave a course in this summer school
Period13 Dec 2022 → 16 Dec 2022
Event titleSummer School of the Australian National University
Event typeConference
LocationCanberra, AustraliaShow on map
Degree of RecognitionInternational