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 (dic. 2018), 47–72. DOI:https://doi.org/10.22201/iifs.18704905e.1992.857.