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.

23 November 2007, Colloquium on Mathematical Logic, Valentin Shehtman

Speaker: Valentin Shehtman (was: Tatiana Yavorskaya)
Title: More on completeness in first-order modal and intuitionistic logic
Date: Friday 23 November 2007
Time: 16:00-17:00
Location: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').

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.