TY  - JOUR
AU  - S. K. Sobolev
TI  - The intuitionistic propositional calculus with quantifiers
JO  - Matematičeskie zametki
PY  - 1977
SP  - 69
EP  - 76
VL  - 22
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1977_22_1_a7/
LA  - ru
ID  - MZM_1977_22_1_a7
ER  -