FREUND, M. A. A Concepturalist Second-Order Logical System with Ramified Lambda Operators. 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: 8 jun. 2025.