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.

30 October 2003, Colloquium on Mathematical Logic, Gilles Dowek

Speaker: Gilles Dowek (École Polytechnique, INRIA)
Title: Eigenvariables, bracketing and the decidability of positive minimal
logic
Date: Thursday 30 October 2003
Time: 16:00-17:00
Location: Room 114, Ruppertgebouw (Trans I, Leuvenlaan 19), Utrecht

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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