Per Martin-Löf: Invariance under Isomorphism and Definability (continued)
Per Martin-Löf, Stockholm university
Time: Wed 2013-02-13 09.00 - 11.00
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Per Martin-Löf, Stockholm university
Time: Wed 2013-02-13 09.00 - 11.00
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university