Seminarium, Logik
On 24 januari
-
Seminarium, Logik
onsdag 2018-01-24, 10.30 - 11.30
Medverkande: Douglas S Bridges (University of Canterbury, Christchurch New Zealand)
Plats: Room 306, building 6 kräftriket, Department of Mathematics, Stockholm University
2018-01-24T10:30:00.000+01:00 2018-01-24T11:30:00.000+01:00 Douglas S Bridges: Some Favourite Constructive Theorems of Mine (Seminarium, Logik) Room 306, building 6 kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Douglas S Bridges: Some Favourite Constructive Theorems of Mine (Seminarium, Logik)