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.

22 June 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Clemens Grabmayer

Speaker: Clemens Grabmayer (VU)
Title: Derivability and admissibility of inference rules in abstract Hilbert systems
Date: Tuesday 22 June 2004
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.96

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov ().

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