Generalized rules for quantifiers and the completeness of the intuitionistic operators (1984)

by P Schroeder-Heister
Venue:Logic Colloquium ’83 (Springer Lecture Notes in Mathematics 1104