Il "lifting" categoriale dalla topologia alla logica

Firenze University Press