4415Lógica de primer ordenPTesINDICES DE MATERIAS active approved Lógica de primer orden510.6 ]]>Lógica de primer ordenBT3516Área 2. Representación del conocimiento y lógicaPTRT4416Lógica modernaPTRT3524Lógica simbólica y matemáticaPT