Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings - Cooper, S. Barry; Löwe, Benedikt; Sorbi, Andrea (Springer Berlin Heidelberg, 2007)