Dag Prawitz: Relations between Gentzen's and Heyting's approaches to meaning
Time: Wed 2013-10-09 10.00 - 11.45
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Time: Wed 2013-10-09 10.00 - 11.45
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university