First order languages: semantics | Publicación