Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

31 March 2017, Colloquium on Mathematical Logic, Lev Beklemishev

Speaker: Lev Beklemishev (Moscow)
Title: On the algebraic model for reflection calculus with conservativity modalities
Date: Friday 31 March 2017
Time: 11:00-12:00
Location: Room 006, Janskerkhof 13, Utrecht