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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X