Volver a los detalles del artículo
Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados
Descargar
Descargar PDF