Calendar
Wed 01 May
-
1MaySeminar, LogicWednesday 2019-05-01, 10:00 - 11:45Lecturer: Joseph Helfer, Stanford UniversityLocation: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University2019-05-01T10:00:00.000+02:00 2019-05-01T11:45:00.000+02:00 Joseph Helfer: First-Order Homotopical Logic (Seminar, Logic) Joseph Helfer: First-Order Homotopical Logic (Seminar, Logic)