Degree project
Fri 01 January - Sun 31 January
-
Degree project
Wednesday 2016-01-13, 09:00 - 10:00
Location: Room 32, House 5, Kräftriket, Department of Mathematics, Stockholm University
2016-01-13T09:00:00.617+01:00 2016-01-13T10:00:00.617+01:00 Freddie Agestam: Interpretations of Classical Logic Using λ-calculus (Degree project) Room 32, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Freddie Agestam: Interpretations of Classical Logic Using λ-calculus (Degree project) -
Degree project
Wednesday 2016-01-13, 10:00 - 11:00
Location: Room 32, House 5, Kräftriket, Department of Mathematics, Stockholm University
2016-01-13T10:00:00.849+01:00 2016-01-13T11:00:00.849+01:00 Erik Nordström: Bursuk-Ulam-satsen - Bevisföring via Tuckers lemma (Degree project) Room 32, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Erik Nordström: Bursuk-Ulam-satsen - Bevisföring via Tuckers lemma (Degree project)