TY - GEN AU - Gagliardi,Edilma Olinda TI - Base de datos y teorĂ­a de modelos finitos ER -