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