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
Last updated: March 21, 2022
Source: Department of Philosophy
Lecture
Date: Thursday 24 March 2022
Time: 16.00 – 17.45
Location: Zoom
Cyclic proofs for first order fixed-point logic
Last updated: March 21, 2022
Source: Department of Philosophy