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.

16 December 2016, Nonstandard Provability for Peano Arithmetic: A Modal Perspective, Paula Henk

Candidate: Paula Henk
Date: Friday 16 December 2016
Time: 12:00
Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
Supervisor: Albert Visser, Dick de Jongh, Voldya Shavrukov
Promotor: Frank Veltman
For more information, contact Paula Henk at .

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