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.

18-21 September 2003, First-Order Logic 75 (FOL75), Humboldt University, Berlin, Germany

Date: 18-21 September 2003
Location: Humboldt University, Berlin, Germany

Seventy-five years ago Hilbert and Ackerman published their Grundzüge der Theoretischen Logik, announcing the start of modern mathematical logic. PHILOG in association with Humboldt University celebrate 75 years of first-order logic by hosting this conference.

For more information, see http://www.fol75.philog.ruc.dk/

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