A simple Henkin-style completeness proof for Gödel 3-valued logic G3 | Publicación