Please note that this newsitem has been archived, and may contain outdated information or links.
17 October 2008, Master of Logic defense, Rachel Sterken
Candidate: Rachel Sterken
Title: Concatenation as a basis for Q and the Intuitionistic Variant of Nelson's Classic Result
Date: Friday 17 October 2008
Time: 13:30
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Albert Visser and Benedikt Löwe
For more information, please contact T.Kassenaar at uva.nl
Please note that this newsitem has been archived, and may contain outdated information or links.