¿Está la teoría de los tipos lógicos libre de paradojas? - Belaúnde Moreyra, Antonio (2000)
Páginas [526]-528