Logic Colloquium (2005 Athens, Greece) | lit.salon