Please note that this newsitem has been archived, and may contain outdated information or links.
10 May 2001, Logic Tea, Rosalie Iemhoff
Speaker: Rosalie Iemhoff (UvA)
Title: Provability Logic
Date: Thursday May 10 2001
Time: 15:30-16:30
Location: Room P.014, Euclides Building, Plantage Muidergradcht 24, Amsterdam;
For further information and abstracts, see http://staff.science.uva.nl/~debruin/Logic_tea.
Please note that this newsitem has been archived, and may contain outdated information or links.