Doklady Akademii Nauk, Tome 229 (1976) no. 6, pp. 1327-1329
Citer cet article
V. I. Khomich. A separability theorem for superintuitionistic propositional calculi. Doklady Akademii Nauk, Tome 229 (1976) no. 6, pp. 1327-1329. http://geodesic.mathdoc.fr/item/DAN_1976_229_6_a11/
@article{DAN_1976_229_6_a11,
author = {V. I. Khomich},
title = {A separability theorem for superintuitionistic propositional calculi},
journal = {Doklady Akademii Nauk},
pages = {1327--1329},
year = {1976},
volume = {229},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1976_229_6_a11/}
}
TY - JOUR
AU - V. I. Khomich
TI - A separability theorem for superintuitionistic propositional calculi
JO - Doklady Akademii Nauk
PY - 1976
SP - 1327
EP - 1329
VL - 229
IS - 6
UR - http://geodesic.mathdoc.fr/item/DAN_1976_229_6_a11/
LA - ru
ID - DAN_1976_229_6_a11
ER -
%0 Journal Article
%A V. I. Khomich
%T A separability theorem for superintuitionistic propositional calculi
%J Doklady Akademii Nauk
%D 1976
%P 1327-1329
%V 229
%N 6
%U http://geodesic.mathdoc.fr/item/DAN_1976_229_6_a11/
%G ru
%F DAN_1976_229_6_a11
