Freund MA. Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados. CRHF [Internet]. 14 de diciembre de 2018 [citado 18 de mayo de 2024];24(72):47-72. Disponible en: https://critica.filosoficas.unam.mx/index.php/critica/article/view/857