En la primera parte del trabajo se llevarán a cabo algunos comentarios introductorios, que enmarcan la visión del trabajo de formalización como tarea reconstructiva de las teorías científicas. La segunda parte del trabajo ...