Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /

por Cooper, S. B., Löwe, Benedikt., Sorbi, Andrea, Conference on Computability in Europe, CiE 2007