The intuitionistic propositional calculus with quantifiers (1977)

by S K Sobolev
Venue:in Russian), Matematicheskiye Zametki, 22 (1977), 69–76. English translation in Mathematical notes of the Academy of Sciences of the USSR 22