<?xml version="1.0" encoding="utf-8"?>
	<vdex xmlns="http://www.imsglobal.org/xsd/imsvdex_v1p0"  orderSignificant="false" language="es-ES">
	<vocabIdentifier>http://www.serbi.ula.ve/tematres/vocab/</vocabIdentifier><term><termIdentifier>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</termIdentifier><caption>LOGICA MATEMATICA</caption></term>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=2157">PROBABILIDADES</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">BT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=2445">MATEMATICAS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">BT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7091">METAMATEMATICAS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">RT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5960">ALGEBRA ABSTRACTA</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">RT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=4899">TEORÍA DE CONJUNTOS (MATEMÁTICAS)</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">RT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7084">LÒGICA COMPUTACIONAL</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7083">LÒGICA COMBINATORIA</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7082">LOGICA ALGEBRAICA</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=6952">FUNCIONES RECURSIVAS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970">TEORIA DE LAS MAQUINAS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7081">DECISION (LOGICA MATEMATICA)</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=6960">TEOREMA DE GODEL</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5957">CATEGORIAS (MATEMATICAS)</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=372">TEORIA DE LA CONMUTACION</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5730">CASUALIDAD</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=6213">TEORIA AXIOMATICA DE CONJUNTOS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7080">CALCULO PROPOSICIONAL</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5884">SILOGISMO</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7079">CALCULO DE LAMBDA</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7089">SEMANTICA (FILOSOFIA)</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=6196">ALGEBRA BOOLEANA</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5883">RAZONAMIENTO</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=2157">PROBABILIDADES</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7088">MATEMATICAS CONSTRUCTIVAS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5879">MÀQUINAS LÒGICAS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7086">LOGICA DE UMBRAL</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7085">LOGICA DE PRIMER ORDEN</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">NT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7078">CALCULO DE PREDICADOS</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">BT</relationshipType>  </relationship>  <relationship>      <sourceTerm>http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=5313</sourceTerm>      <targetTerm vocabIdentifier="http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=7090">Logística</targetTerm>      <relationshipType source="http://www.imsglobal.org/vocabularies/iso2788_relations.xml">UF</relationshipType>  </relationship></vdex>