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.

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

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