Seminar of Second Logic 17-19 september 2004 -- -- 21.09.2004