On admissible rules of intuitionistic propositional logic /
880-04T︠S︡itkin, A. I.,author.
Erickson, John,1929-2002,former owner.StEdNL
Erickson, Ljubica,former owner.StEdNL
John and Ljubica Erickson collection.
Caption title.
Reprinted from Mathematics of the USSR - Sbornik volume 31 (1977), number 2 ; translated from the Russian text in Matematicheskiĭ sbornik tom 102(144)(1977), number 2.
Includes bibliographical references.