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.

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.