Universiteit van Amsterdam


Institute for Logic, Language and Computation

6 March 2017, Logic and Interactive Rationality (LIRa), Greg Restall

Speaker: Greg Restall (Melbourne)
Title: Proof Terms for Classical Derivations
Date: Monday 6 March 2017
Time: 16:00-17:30
Location: KdVI Seminar Room F3.20, ILLC, Science Park 107, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar.