Freund, M. A. (2018). Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados. Crítica. Revista Hispanoamericana De Filosofía, 24(72), 47–72. https://doi.org/10.22201/iifs.18704905e.1992.857