TY  - JOUR
AU  - P. A. Schreiner
TI  - Absence of interpolation in some predicate superintuitionistic
JO  - Algebra i logika
PY  - 1996
SP  - 105
EP  - 117
VL  - 35
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1996_35_1_a5/
LA  - ru
ID  - AL_1996_35_1_a5
ER  -