The Church–Fitch knowability paradox in the light of structural proof theory | Publicación