Logic Colloquium '01 by Matthias Baaz, Sy D. Friedman & Jan Kraji'cek