Geodesic
Interpolation in superintuitionistic predicate logics with
Algebra i logika, Tome 36 (1997) no. 5, pp. 543-561.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{AL_1997_36_5_a4,
     author = {L. L. Maksimova},
     title = {Interpolation in superintuitionistic predicate logics with},
     journal = {Algebra i logika},
     pages = {543--561},
     publisher = {mathdoc},
     volume = {36},
     number = {5},
     year = {1997},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_1997_36_5_a4/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - Interpolation in superintuitionistic predicate logics with
JO  - Algebra i logika
PY  - 1997
SP  - 543
EP  - 561
VL  - 36
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1997_36_5_a4/
LA  - ru
ID  - AL_1997_36_5_a4
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T Interpolation in superintuitionistic predicate logics with
%J Algebra i logika
%D 1997
%P 543-561
%V 36
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1997_36_5_a4/
%G ru
%F AL_1997_36_5_a4
L. L. Maksimova. Interpolation in superintuitionistic predicate logics with. Algebra i logika, Tome 36 (1997) no. 5, pp. 543-561. http://geodesic.mathdoc.fr/item/AL_1997_36_5_a4/