Vasco Brattka; Guido Gherardi, Borel complexity of topological operations on computable metric spaces, in: CiE 2007. Computation and Logic in the Real World, 2007, pp. 83 - 97 (atti di: CiE 2007, Siena, 18/06/2007-23/06/2007) [Contributo in Atti di convegno]
Guido Gherardi, Internal Computability, in: CiE 2007. Computation and Logic in the Real World, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4497, pp. 348 - 357 (atti di: CiE 2007, Siena, 18/06/2007-23/06/2007) [Contributo in Atti di convegno]
Guido Gherardi, An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability, in: CiE 2006. Logical Approaches to Computational Barriers, 2006, 3988, pp. 199 - 208 (atti di: Cie 2006, Swansea, 30/06/2006-05/07/2006) [Contributo in Atti di convegno]
Guido Gherardi, Effective Borel degrees of some topological functions, «MATHEMATICAL LOGIC QUARTERLY», 2006, 52, pp. 625 - 642 [articolo]
