Realizability: computational interpretations of logic, 7.5 hp, gradute course
Tid: Må 2017-01-16 kl 15.00
Plats: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University
Medverkande: Erik Palmgren
Schedule: Mondays 15.00-17.00
Kräftriket. First lecture 16 January.
Teacher: Erik Palmgren
For more information, see the
course webpage