Freund MA. A Concepturalist Second-Order Logical System with Ramified Lambda Operators. CRHF [Internet]. 2018 Dec. 14 [cited 2025 Jul. 17];24(72):47-72. Available from: https://critica.filosoficas.unam.mx/index.php/critica/article/view/857