TY  - GEN
AU  - Freund,M.A.
TI  - Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados
ER  -