Applications of the cut elimination theorem to some subsystems of classical analysis (1970)

by William Tait
Venue:Intuition and Proof Theory