Estructura lógica de los lenguajes artificiales.