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.