Cut-elimination in second order logic

O.F. Serebriannikov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 159-161