Logic Colloquium 2005 door Ludomir Newelski, Costas Dimitracopoulos & John R. Steel