Please note that this newsitem has been archived, and may contain outdated information or links.
23 June 2011, Colloquium on Mathematical Logic, Andreas Weiermann
Speaker: Andreas Weiermann (Gent)
Title: Provably recursive functions for PA
Date: Thursday 23 June 2011
Time: 16:00-17:00
Location: Room A1.10, Science Park 904, Amsterdam
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html.
Please note that this newsitem has been archived, and may contain outdated information or links.