Doklady Akademii Nauk, Tome 195 (1970) no. 6, pp. 1263-1266
Citer cet article
V. Ya. Gerchiu; A. V. Kuznetsov. The finitely axiomatizable superintuitionistic logics. Doklady Akademii Nauk, Tome 195 (1970) no. 6, pp. 1263-1266. http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/
@article{DAN_1970_195_6_a2,
author = {V. Ya. Gerchiu and A. V. Kuznetsov},
title = {The finitely axiomatizable superintuitionistic logics},
journal = {Doklady Akademii Nauk},
pages = {1263--1266},
year = {1970},
volume = {195},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/}
}
TY - JOUR
AU - V. Ya. Gerchiu
AU - A. V. Kuznetsov
TI - The finitely axiomatizable superintuitionistic logics
JO - Doklady Akademii Nauk
PY - 1970
SP - 1263
EP - 1266
VL - 195
IS - 6
UR - http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/
LA - ru
ID - DAN_1970_195_6_a2
ER -
%0 Journal Article
%A V. Ya. Gerchiu
%A A. V. Kuznetsov
%T The finitely axiomatizable superintuitionistic logics
%J Doklady Akademii Nauk
%D 1970
%P 1263-1266
%V 195
%N 6
%U http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/
%G ru
%F DAN_1970_195_6_a2
