Title: Formally self-referential propositions for cut free classical analysis and related systems
Subjects: Numerical analysis, Proposition (Logic), Symbolic and mathematical Logic