Algebra i logika, Tome 36 (1997) no. 5, pp. 543-561
Citer cet article
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/
@article{AL_1997_36_5_a4,
author = {L. L. Maksimova},
title = {Interpolation in superintuitionistic predicate logics with},
journal = {Algebra i logika},
pages = {543--561},
year = {1997},
volume = {36},
number = {5},
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
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
%U http://geodesic.mathdoc.fr/item/AL_1997_36_5_a4/
%G ru
%F AL_1997_36_5_a4
