TY  - GEN
AU  - Palacio Fernández,J.R.
TI  - Las paradojas y la teoría de los tipos lógicos
ER  -