Doklady Akademii Nauk, Tome 254 (1980) no. 4, pp. 820-823
Citer cet article
V. I. Khomich. On the problem of separability for superintuitionistic propositional logics. Doklady Akademii Nauk, Tome 254 (1980) no. 4, pp. 820-823. http://geodesic.mathdoc.fr/item/DAN_1980_254_4_a12/
@article{DAN_1980_254_4_a12,
author = {V. I. Khomich},
title = {On the problem of separability for superintuitionistic propositional logics},
journal = {Doklady Akademii Nauk},
pages = {820--823},
year = {1980},
volume = {254},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1980_254_4_a12/}
}
TY - JOUR
AU - V. I. Khomich
TI - On the problem of separability for superintuitionistic propositional logics
JO - Doklady Akademii Nauk
PY - 1980
SP - 820
EP - 823
VL - 254
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1980_254_4_a12/
LA - ru
ID - DAN_1980_254_4_a12
ER -
%0 Journal Article
%A V. I. Khomich
%T On the problem of separability for superintuitionistic propositional logics
%J Doklady Akademii Nauk
%D 1980
%P 820-823
%V 254
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1980_254_4_a12/
%G ru
%F DAN_1980_254_4_a12
