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.

16 October 2013, Colloquium on Mathematical Logic, Eyvind Briseid

Speaker: Eyvind Briseid
Title: On functional interpretations for systems of nonstandard arithmetic
Date: Wednesday 16 October 2013
Time: 15:45-16:45
Location: Room F1.15, Science Park 107, Amsterdam
For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg ().

Please note that this newsitem has been archived, and may contain outdated information or links.