Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

30 March 2017, Master of Logic defense, Mees de Vries

Candidate: Mees de Vries
Title: An Extensional Modified Realitability Topoi
Date: Thursday 30 March 2017
Time: 10:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Benno van den Berg