http://www.serbi.ula.ve/tematres/vocab/http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=34467FUNCIONES COMPUTACIONALES http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=34467 MATEMATICAS CONSTRUCTIVAS BT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=34467 DECISION (LOGICA MATEMATICA) RT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=34467 Funciones recursivas parcialmente UF http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=34467 Teoría de la computabilidad UF