Please note that this newsitem has been archived, and may contain outdated information or links.
27 March 2014, Colloquium on Mathematical Logic, Lev Beklemishev (Moscow)
Speaker: Lev Beklemishev (Moscow)
Title: Positive Provability Logic - for Uniform Reflection Principles
Date: Thursday 27 March 2014
Time: 16:00-17:00
Location: Room 0.06, Janskerkhof 13, Utrecht
For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html
Please note that this newsitem has been archived, and may contain outdated information or links.