20 April 2021, EXPRESS/PhilMath Seminar, Rosalie Iemhoff
Speaker: Rosalie Iemhoff (Utrecht)
Title: Proof-Theoretic Formalization
Date: Tuesday 20 April 2021
Time: 16:00-18:00
Location: Online
For more information, see
https://inferentialexpressivism.com/seminar/
or contact Leila Bussiere at bussiere at sequitur.eu.