Teoría de tipos lógicos como austeridad ontológica

Hemos denominado este material 'Teoría de tipos lógicos como austeridad ontológica' por cuanto co...