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.

15 August 2008, Master of Logic defense, Thomas Icard

Candidate: Thomas Icard
Title: Topological Interpretations of the Polymodal Provability Logic
Date: Friday 15 August 2008
Time: 11:00
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Lev Beklemishev and Dick de Jongh

For more information, please contact

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