STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES | Publicación