Intuitionistic completeness of a restricted second-order logic | Publicación