Per Martin-Löf: The two interpretations of natural deduction: how do they fit together?
Tid: On 2016-01-20 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Medverkande: Per Martin-Löf, Stockholm university