Skip to main content
Denna sida på svenska

Seminar, Logic

Mon 29 April - Sun 05 May

  • Joseph Helfer: First-Order Homotopical Logic

    Seminar, Logic

    Wednesday 2019-05-01, 10:00 - 11:45

    Participating: Joseph Helfer, Stanford University

    Location: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

    2019-05-01T10:00:00.000+02:00 2019-05-01T11:45:00.000+02:00 Joseph Helfer: First-Order Homotopical Logic (Seminar, Logic) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Joseph Helfer: First-Order Homotopical Logic (Seminar, Logic)