Invitation to a talk by Edi Pavlović “Proof theory” (UPDATE)
We invite you to a talk by Edi Pavlović titled “Proof theory” that will be held on Monday, July 26, 2021 at 17.00 via Zoom.
Lectures on the introduction to proof theory that Edi Pavlović gave at the Central European University can be accessed via these links:
Join Zoom Meeting
Meeting ID: 865 8827 2472