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.

21 March 2003, Colloquium on Mathematical Logic, Joost Joosten

Speaker: Joost Joosten
Title: Interpretability over Primitive Recursive Arithmetic
Date: Friday 21 March 2003
Time: 16:00-17:00
Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).

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.