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.

17 May 2013, Cool Logic, Sam van Gool

Speaker: Sam van Gool
Title: A Topological Proof of Gödel's Completeness Theorem for First-Order Logic
Date: Friday 17 May 2013
Time: 17:30-18:30
Location: Room F1.15, Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

For more information, see http://www.illc.uva.nl/coollogic/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.