Universiteit van Amsterdam


Institute for Logic, Language and Computation

21 March 2017, Master of Logic defense, Guido van der Knaap

Candidate: Guido van der Knaap
Title: The philosophical motivation for proof-theoretic harmony
Date: Tuesday 21 March 2017
Time: 14:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Luca Incurvati