Metamathematics and proof theory, 7.5 hp, advanced level (Metamatematik och bevisteori, avancerad nivå MM8028)
Time: Thu 2017-01-19 15.00
Location: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University
Participating: Erik Palmgren
Schedule: Thursdays 15.00-17.00.
Kräftriket. First lecture 19 January.
Teacher: Erik Palmgren
For more information, see the
course webpage