Return to Article Details A Concepturalist Second-Order Logical System with Ramified Lambda Operators Download Download PDF