Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.