Il "lifting" categoriale dalla topologia alla logica
Firenze University Press