Cancelled: Stockholm Philosophy Colloquium: Sebastian Enqvist

Föreläsning

Datum: torsdag 24 mars 2022

Tid: 16.00 – 17.45

Cyclic proofs for first order fixed-point logic

Zoom link

Senast uppdaterad: 21 mars 2022

Sidansvarig: Department of Philosophy