Luigi Acerbi, Alberto Dennunzio, Enrico Formenti (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings