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