7060Cálculo de predicadosTTesINDICES DE MATERIAS active approved Cálculo de predicadosCálculo de predicadosRT3524Lógica simbólica y matemáticaPT