The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wright

Bulletin of the Section of Logic, Tom 1, Numer 1 (1972) s. 45-52
Stanisław J. Surma