Conference on:“Logic and the Foundations of the Exact Sciences —  Hilbert's Heritage” (Bern)

Organised by Tilman Sauer, June 28–30, 2001, sponsored by the Max-and-Else-Baer-Brawand-Fonds