Completeness: from Gödel to Henkin | Publicación