Il "lifting" categoriale dalla topologia alla logica
Firenze University Press
Apri in nuova finestra