Henkin on Completeness | Publicación