Completeness of first order logic | Publicación