Please note that this newsitem has been archived, and may contain outdated information or links.
21 April 2006, Colloquium on Mathematical Logic, Saeed Salehi
Speaker: Saeed Salehi (Turku University)
Title: Modal Logic of Cut-Free Provability in Weak Arithmetics
Date: Friday 21 April 2006
Time: 15:00-16:00
Location: Room 134, Ruppert building (entrance Educatorium on Leuvenlaan), Utrecht
For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html
Please note that this newsitem has been archived, and may contain outdated information or links.