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