Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 - 20, 2008 ; proceedings (Springer, 2008)