03F10 Functionals in proof theory

MSC > 03Fxx Proof theory and constructive mathematics > 03F10 Functionals in proof theory

Give feedback