Freund, M.A. <br/><br/>
Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados