Coroczne Europejskie Spotkanie Stowarzyszenia Logiki Symbolicznej, powszechnie znane jako Kolokwium Logiczne, jest najbardziej prestiżowym dorocznym spotkaniem w tej dziedzinie. Wiele z prezentowanych tam referatów to zaproszone ankiety na temat ostatnich wydarzeń, a pozostałe artykuły są wybierane jako uzupełnienie zaproszonych wykładów. Tom ten zawiera ankiety, samouczki i wybrane prace badawcze ze spotkania w 2004 roku. Najważniejsze z nich to samouczek przeglądu ostatnich najważniejszych punktów algebry uniwersalnej napisany przez wiodącego eksperta; eksploracja fundamentalnych pytań; oraz kwartet prac z teorii modeli, dających doskonałe odzwierciedlenie obecnych prac w teorii modeli, od najbardziej abstrakcyjnego aspektu "abstrakcyjnych klas elementarnych" do zagadnień związanych z integracją p-adyczną. Język: angielski