FREUND, M. A. Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados. Crítica. Revista Hispanoamericana de Filosofía, [S. l.], v. 24, n. 72, p. 47–72, 2018. DOI: 10.22201/iifs.18704905e.1992.857. Disponível em: https://critica.filosoficas.unam.mx/index.php/critica/article/view/857. Acesso em: 18 may. 2024.