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.
The presentation of the talk can be accessed here.
The recording of the talk “Proof theory” can be accessed here.
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