Remarks on an infinitary language with constructive formulas | Publicación