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.

2 February 2007, Colloquium on Mathematical Logic, Rosalie Iemhoff

Speaker: Rosalie Iemhoff (Utrecht)
Title: Skolemization and Herbrand's theorem
Date: Friday 2 February 2007
Time: 16:00-17:00
Location: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
(Bus 11 or 12 from Utrecht Central Station).

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.