Please note that this newsitem has been archived, and may contain outdated information or links.
28 June 2018, Colloquium on Mathematical Logic, Tom de Jong
Speaker: Tom de Jong
Title: Realizability with Scott's Graph Model
Date: Thursday 28 June 2018
Time: 14:00-15:00
Location: Room BBG 165, Buys Ballot Building, Uithof, Utrecht
For 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.