TY  - JOUR
AU  - A. U. Muravitskii
TI  - Algebraic proof of the separation property for an intuitionistic provability calculus
JO  - Sbornik. Mathematics
PY  - 1988
SP  - 397
EP  - 406
VL  - 59
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_1988_59_2_a7/
LA  - en
ID  - SM_1988_59_2_a7
ER  -