Per Martin-Löf: Invariance under Isomorphism and Definability
Per Martin-Löf, Stockholm university
Tid: On 2013-01-30 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Per Martin-Löf, Stockholm university
Tid: On 2013-01-30 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university