Stockholm university

Cancelled: Stockholm Philosophy Colloquium: Sebastian Enqvist

Lecture

Date: Thursday 24 March 2022

Time: 16.00 – 17.45

Location: Zoom

Cyclic proofs for first order fixed-point logic

Zoom link