Books by Logic Colloquium (2005 Athens, Greece)