https://confrides.cpd.ua.es/tematres/vocab/https://confrides.cpd.ua.es/tematres/vocab/skos/4415Lógica de primer orden https://confrides.cpd.ua.es/tematres/vocab/skos/4415 Área 2. Representación del conocimiento y lógica BT https://confrides.cpd.ua.es/tematres/vocab/skos/4415 Lógica simbólica y matemática RT https://confrides.cpd.ua.es/tematres/vocab/skos/4415 Lógica moderna RT