Report - Third Nordic Logic Summerschool, Stockholm, August 7 – 11 ... · 11:40 – 12:40 (M) Henrik Forssell, Categorical Logic (P) Sara L. Uckelman, Introduction to Logic in the Middle

Please pass captcha verification before submit form