Formalizing a non-linear Henkin quantifier | Publicación