TY  - JOUR
AU  - D. E. Tishkovsky
TI  - An algebraic semantics for superintuitionistic predicate
JO  - Algebra i logika
PY  - 1999
SP  - 68
EP  - 95
VL  - 38
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1999_38_1_a3/
LA  - ru
ID  - AL_1999_38_1_a3
ER  -